Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Html page including the links to the papers presented at the Workshop. The papers are already in CoRR

Scientific paper

This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analy- sis. This year, we have continued and consolidated the shift in focus from en- vironmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. All the papers submitted to WLPE'09 have gone through a careful process of peer reviewing, with at least three reviews for each paper and a subsequent in-depth discussion in the Program Committee.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-260710

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.