Vor Ort
Merkzettel Warenkorb
Produktbild: Principles and Practice of Declarative Programming
Band 1702

Principles and Practice of Declarative Programming International Conference, PPDP '99, Paris, France, September 29 - October 1, 1999. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.1999

Herausgeber

Gopalan Nadathur

Verlag

Springer Berlin

Seitenzahl

442

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

589 g

Auflage

1999. 1999

Sprache

Englisch

ISBN

978-3-540-66540-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.1999

Herausgeber

Gopalan Nadathur

Verlag

Springer Berlin

Seitenzahl

442

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

589 g

Auflage

1999. 1999

Sprache

Englisch

ISBN

978-3-540-66540-3

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Principles and Practice of Declarative Programming
  • 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.