Coverart for item
The Resource Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)

Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)

Label
Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings
Title
Principles and practice of declarative programming
Title remainder
International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings
Statement of responsibility
Gopalan Nadathur (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
SCPER
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.615
LC item number
.P57 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
PPDP'99
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Nadathur, Gopalan
Series statement
Lecture notes in computer science
Series volume
1702
http://library.link/vocab/subjectName
  • Declarative programming
  • Declarative programming
Label
Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
321349877
Dimensions
unknown
Extent
1 online resource (x, 434 pages)
Form of item
online
Isbn
9783540481645
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/10704567.
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321349877
Label
Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
321349877
Dimensions
unknown
Extent
1 online resource (x, 434 pages)
Form of item
online
Isbn
9783540481645
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/10704567.
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321349877

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...