Principles and Practice of Declarative Programming

This book constitutes the refereed proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in September/October 1999. The 22 revised full papers presented together with three invited contributions were carefully reviewed and selected from a total of 52 full-length papers submitted. Among the topics covered are type theory; logics and logical methods in understanding, defining, integrating, and extending programming paradigms such as functional, logic, object-oriented, constraint, and concurrent programming; support for modularity; the use of logics in the design of program development tools; and development and implementation methods.

ISBN	3540665404	Published in	Berlin
ISBN13	9783540665403 (What's this?)	Conference location	Paris
Publisher	Springer-Verlag Berlin and Heidelberg GmbH & Co. KG	Conference name	International Conference on Principles and practice of Declarative
Imprint	Springer-Verlag Berlin and Heidelberg GmbH & Co. K	Conference year	1999
Format	Paperback	Series editor	Goos, G., Hartmanis, J., van Leeuwen, J.
Publication date	15 Sep 1999	Series ISSN	1702
Library of Congress	99047356	Series title	Lecture Notes in Computer Science
DEWEY	005.131	Height (mm)	156
DEWEY edition	DC21	Width (mm)	234
Pages	452	Spine width (mm)	23
Volumes	1	Academic level	Undergraduate, Postgraduate, Professional / Scholarly
Weight (grammes)	630

		C--: A Portable Assembly Language that Supports Garbage Collection by Simon Peyton Jones and Norman Ramsey and Fermin Reig		1
		On Formalised Proofs of Termination of Recursive Functions by Fairouz Kamareddine and Francois Monin		29
		Argument Filtering Transformation by Keiichirou Kusakari and Masaki Nakamura and Yoshihito Toyama		47
		A Primitive Calculus for Module Systems by Davide Ancona and Elena Zucca		62
		Non-dependent Types for Standard ML Modules by Claudio V. Russo		80
		Constraint Programming in OPL by P. Van Hentenryck and L. Michel and L. Perron		98
		Compiling Constraint Handling Rules into Prolog with Attributed Variables by Christian Holzbaur and Thom Fruhwirth		117
		Parallel Execution Models for Constraint Programming over Finite Domains by Alvaro Ruiz-Andino and Lourdes Araujo and Fernando Saenz		134
		Functional Plus Logic Programming with Built-In and Symbolic Constraints by P. Arenas-Sanchez and F. J. Lopez-Fraguas and M. Rodriguez-Artalejo		152
		A Calculus for Interaction Nets by Maribel Fernandez and Ian Mackie		170
		Distributed Programming in a Multi-Paradigm Declarative Language by Michael Hanus		188
		Logical and Meta-Logical Frameworks by Frank Pfenning		206
		A Simple and General Method for Integrating Abstract Interpretation in SICStus by Dante Baldan and Nicola Civran and Gilberto File		207
		Run Time Type Information in Mercury by Tyson Dowd and Zoltan Somogyi and Fergus Henderson		224
		A Virtual Machine for a Process Calculus by Luis Lopes and Fernando Silva and Vasco T. Vasconcelos		244
		Optimising Bytecode Emulation for Prolog by Vitor Santos Costa		261
		OPENLOG: A Logic Programming Language Based on Abduction by Jacinto A. Davila		278
		An Operational Semantics of Starlog by Lunjin Lu and John G. Cleary		294
		On the Verification of Finite Failure by Roberta Gori and Giorgio Levi		311
		More...

Be the first to write a customer review

Principles and Practice of Declarative Programming

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

Buying options