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.)
Resource Information
The item Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- 1 online resource (x, 434 pages)
- 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
- Isbn
- 9783540481645
- 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.)
- 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
- 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.)
- 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.)
- 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 Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Principles-and-practice-of-declarative/nTLASu-xo4o/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Principles-and-practice-of-declarative/nTLASu-xo4o/">Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Principles-and-practice-of-declarative/nTLASu-xo4o/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Principles-and-practice-of-declarative/nTLASu-xo4o/">Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September 29/October 1, 1999 : proceedings, Gopalan Nadathur (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
