1 option
Principles and Practice of Declarative Programming : International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / edited by Gopalan Nadathur.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1702.
- Lecture Notes in Computer Science, 0302-9743 ; 1702
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Computer logic.
- Computer programming.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Programming Techniques.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Programming Techniques.
- Physical Description:
- 1 online resource (X, 442 pages).
- Edition:
- First edition 1999.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-48164-5
- 9783540481645
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.