State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis t...
Special issue on functional programming and computational complexity : [dedicated to work presented at the Workshop on Implicit Computational Complexity in Programming Languages, affiliated with the 1998 meeting of the International Conference on Functional Programming in Baltimore]
Proceedings - 21st International Conference on Object-Oriented Programming, Systems, Languages, and Applications : October 22 - 26, 2006, Portland Convention Center, Portland, Oregon, USA ; [The 21st Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications]
Parallelism and implementation of logic and constraint logic programming : [collection of selected papers presented at the Fourth Compulog-Net Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Languages, held in Bonn on September 6th, 1996, in conjunction with JICSLP '96, and at the Fifth Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, held in Port Jefferson on October 16th and 17th, 1997, in conjunction with ILPS '97]
OOPSLA'10 : proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications ; October 17 - 21, 2010, Reno/Tahoe, Nevada, USA ; [ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)]
OOPSLA 2002 : 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications ; conference proceedings ; November 4 - 8, 2002, Washingon State Convention and Trade Center, Seattle, Washington, USA
Modern Web Services applications encompass multiple distributed interacting components, possibly including millions of lines of code written in different programming languages. With this complexity, some bugs often remain undetected despite extensive testing procedures, and occasionally cause transi...
Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium, January 12 - 14, 2005, Long Beach, California, USA ; [The POPL Conference ...]
Conference proceedings - 18th Conference on Object-Oriented Programming, Systems, Languages, and Applications : October 26 - 30, 2003, Anaheim, California, USA ; [... the Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications]