Scan day: 07 February 2014 UTC
Virus safety - good
Description: 2nd International Conference on Principles and Practice of Declarative Programming. Associated with PLI 2000. Montreal, Canada; 20--22 September 2000.
2nd International Conference on Principles and Practice of Declarative Programming Colloquium on Principles, Logics, and Implementations of high-level programming languages PPDP represents the union of two former conferences: Programming Languages, Implementations, Logics and Programs (PLILP) and Algebraic and Logic Programming (ALP). Continuing the tradition of PLILP/ALP, PPDP 2000 aims to stimulate research on the use of declarative methods in programming and on the design, implementation and application of programming languages that support such methods. Topics of interest include any aspect related to understanding, integrating and extending programming paradigms such as those for functional, logic, constraint and object-oriented programming; concurrent extensions and mobile computing; type theory; support for modularity; use of logical methods in the design of program development tools; program analysis and verification; abstract interpretation; development of implementation methods; application of the relevant paradigms and associated methods in industry and education. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. The technical program of the conference will combine presentations of the accepted papers with invited talks and advanced tutorials.
Size: 1362 chars
|Page title:||PPDP 2000|
|Keywords:||declarative programming, declarative programming language, functional programming, functional programming language, logic programming, logic programming language, object-oriented programming, object-oriented programming language, constraint programming, constraint programming language, concurrent programming, concurrent programming language, design, application, implementation, type theory, logic, program development, analysis tools, paper, Montreal, Canada, 2000|
|Description:||PPDP 2000, the international conference on principles and practice of declarative programming, invites you to participate. The conference provides a forum for researchers and developers to hear about the latest work on the use of declarative methods in programming and on the design, application and implementation of programming languages that support such methods.|
Name servers: dns11.ipns.yorku.ca 22.214.171.124 dns21.ipns.yorku.ca 126.96.36.199
Creation date: 2000/10/06
Expiry date: 2017/02/14