Computer Science – Logic in Computer Science
Scientific paper
2010-02-24
Computer Science
Logic in Computer Science
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.
Caballero Rafael
Gallagher John Jay
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-260710