+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Principles and Practice of Declarative Programming : International Conference, Ppdp'99, Paris, France, September, 29 - October 1, 1999, Proceedings - Gopalan Nadathur

Principles and Practice of Declarative Programming

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

By: Gopalan Nadathur (Editor)

Paperback Published: 15th September 1999
ISBN: 9783540665403
Number Of Pages: 442

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 10 to 15 business days

Earn 317 Qantas Points
on this Book

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 Collectionp. 1
On Formalised Proofs of Termination of Recursive Functionsp. 29
Argument Filtering Transformationp. 47
A Primitive Calculus for Module Systemsp. 62
Non-dependent Types for Standard ML Modulesp. 80
Constraint Programming in OPLp. 98
Compiling Constraint Handling Rules into Prolog with Attributed Variablesp. 117
Parallel Execution Models for Constraint Programming over Finite Domainsp. 134
Functional Plus Logic Programming with Built-In and Symbolic Constraintsp. 152
A Calculus for Interaction Netsp. 170
Distributed Programming in a Multi-Paradigm Declarative Languagep. 188
Logical and Meta-Logical Frameworks (Abstract)p. 206
A Simple and General Method for Integrating Abstract Interpretation in SICStusp. 207
Run Time Type Information in Mercuryp. 224
A Virtual Machine for a Process Calculusp. 244
Optimising Bytecode Emulation for Prologp. 261
OPENLOG: A Logic Programming Language Based on Abductionp. 278
An Operational Semantics of Starlogp. 294
On the Verification of Finite Failurep. 311
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slicesp. 328
Modular Termination Proofs for Prolog with Tablingp. 342
Declarative Program Transformation: A Deforestation Case-Studyp. 360
A Semantic Account of Type-Directed Partial Evaluationp. 378
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programsp. 396
Widening Sharingp. 414
Author Indexp. 433
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540665403
ISBN-10: 3540665404
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 442
Published: 15th September 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.63

Earn 317 Qantas Points
on this Book