page       attach   
3rd International Workshop on Practical Aspects of Declarative Languages
Las Vegas, NV, USA, 11/03/2001–12/03/2001

Declarative languages build on sound theoretical basis to provide attractive frameworks for application development. Indeed, these languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems.  

The major strength of declarative languages lies in the way work on efficient implementation has allowed programmers to take advantage of their strong theorical foundations. In fact, new developments in theory and implementation often open up new application areas. On the other hand, as declarative languages are applied to novel problems, a number of interesting research issues arise.  Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications are both a cause for and benefit from progress in the theory and implementation of declarative systems. 

The PADL series of workshops aims at providing a forum where researchers, practitioners, and implementors of declarative languages may exchange ideas on current and novel application areas and on the requirements for effective deployment of declarative systems. Thus, we invite papers dealing with practical applications of newly discovered results and techniques in logic, constraint, and functional programming. Papers dealing with practical applications of theoretical results, new implementation techniques, or innovative applications are particularly welcome. Position papers as well as papers that present work-in-progress are also welcome. 

topics of interest
  • Innovative Applications 
  • Practical Applications of Theoretical Results 
  • Declarative Languages and the Internet 
  • Declarative Languages and Software Engineering 
  • Declarative Languages and Software Enabled Control 
  • Deductive Database Systems
  • Declarative Languages for Specification and Verification 
  • Practical Experiences 
  • Innovative Implementation/Compilation Techniques
colocated event
works as
origin event for publication
page_white_acrobattuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (paper in proceedings, 2001) — Enrico Denti, Andrea Omicini, Alessandro Ricci
hosting event for talk
page_white_powerpointtuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini (Enrico Denti, Andrea Omicini, Alessandro Ricci)