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

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

2010-02-24

arxiv.org/abs/1002.4535v1

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.

Affiliated with

Also associated with

No associations

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

Comments { 0 }

Profile ID: LFWR-SCP-O-260710