Principles and Practice of Declarative Programming

International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings

Buch | Softcover

X, 442 Seiten

1999
Springer Berlin (Verlag)
978-3-540-66540-3 (ISBN)

Artikel merken

This volume contains the papers presented at the 1999 International C- ference on Principles and Practice of Declarative Programming (PPDP 99) held in Paris from September 29 through October 1, 1999. PPDP 99 participated, together with the International Conference on Functional Programming (ICFP) and several related workshops, in a federation of colloquia known as Principles, Logics and Implementations of high-level programming languages(PLI 99). The overall event was organized by the Institut National de Recherche en Inf- matique et en Automatique (INRIA) and the ACM Special Interest Group for Programming Languages (ACM/SIGPLAN). PPDP represents the union of two conferences that had been in existence for about a decade: Programming Languages,Implementations, Logics and P- grams(PLILP)andAlgebraicandLogicProgramming(ALP). Theseconferences wereheldasoneforthe?rsttimeunderthenamePLILP/ALPintheirtenthand seventhrespectiveincarnationslastyear. Thepresentrenditionfollowsadecision bythe combinedsteering committees to adopta simpler namefor the conference that also re?ected the union. Continuing the tradition of PLILP/ALP, PPDP aims to stimulate research in the use of declarative methods in programming and on the design, application, and implementation of programming languages that support such methods. Topics of interest include the use of type theory, logics, and logical methods in understanding, de?ning, integrating, and exte- ing programming paradigms such as those for functional, logic, object-oriented, constraint,and concurrentprogramming;support for modularity;the use of l- ics in the design of program development tools; development of implementation methods; and the application of the relevant paradigms and associated methods in industry and education. Many of these themes are re?ected in the papers appearing in the present collection.

C--: A Portable Assembly Language that Supports Garbage Collection.- On Formalised Proofs of Termination of Recursive Functions.- Argument Filtering Transformation.- A Primitive Calculus for Module Systems.- Non-dependent Types for Standard ML Modules.- Constraint Programming in OPL.- Compiling Constraint Handling Rules into Prolog with Attributed Variables.- Parallel Execution Models for Constraint Programming over Finite Domains.- Functional Plus Logic Programming with Built-In and Symbolic Constraints.- A Calculus for Interaction Nets.- Distributed Programming in a Multi-Paradigm Declarative Language.- Logical and Meta-Logical Frameworks.- A Simple and General Method for Integrating Abstract Interpretation in SICStus.- Run Time Type Information in Mercury.- A Virtual Machine for a Process Calculus.- Optimising Bytecode Emulation for Prolog.- OPENLOG: A Logic Programming Language Based on Abduction.- An Operational Semantics of Starlog.- On the Verification of Finite Failure.- Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.- Modular Termination Proofs for Prolog with Tabling.- Declarative Program Transformation: A Deforestation Case-Study.- A Semantic Account of Type-Directed Partial Evaluation.- A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.- Widening Sharing.

Erscheint lt. Verlag	15.9.1999
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	X, 442 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	587 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	Assembly language • Constraint • Declarative Programming • distributed programming • Functional Programming • Logic • ML • Programmierung • programming • Programming language • Programming Language Implementation • Programming Logics • Program Semantics • PROLOG • Semantics • Standard ML
ISBN-10	3-540-66540-4 / 3540665404
ISBN-13	978-3-540-66540-3 / 9783540665403
Zustand	Neuware