Vor Ort
Merkzettel Warenkorb
  • Produktbild: Programming Language Implementation and Logic Programming
  • Produktbild: Programming Language Implementation and Logic Programming
Band 631

Programming Language Implementation and Logic Programming 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.08.1992

Abbildungen

XI, 494 p. 27 illus.

Herausgeber

Maurice Bruynooghe + weitere

Verlag

Springer Berlin

Seitenzahl

494

Maße (L/B/H)

24,4/17/2,8 cm

Gewicht

867 g

Auflage

1992

Sprache

Englisch

ISBN

978-3-540-55844-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.08.1992

Abbildungen

XI, 494 p. 27 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

494

Maße (L/B/H)

24,4/17/2,8 cm

Gewicht

867 g

Auflage

1992

Sprache

Englisch

ISBN

978-3-540-55844-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: 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: Programming Language Implementation and Logic Programming
  • Produktbild: Programming Language Implementation and Logic Programming
  • Improving control of logic programs by using functional logic languages.- Independent AND-parallel implementation of narrowing.- Binding techniques and garbage collection for OR-parallel CLP systems.- Path analysis for lazy data structures.- Why the occur-check is not a problem.- Incremental evaluation of natural semantics specifications.- Subsumption-oriented Push-Down Automata.- Unlimp uniqueness as a leitmotiv for implementation.- Using cached functions and constructors for incremental attribute evaluation.- Strictness analysis for attribute grammars.- Checking and debugging of two-level grammars.- On safe folding.- Unfold/fold transformations preserving termination properties.- A technique for transforming logic programs by fold-unfold transformations.- FOLON: An environment for declarative construction of logic programs.- A complete indexing scheme for WAM-based abstract machines.- Fast prolog with a VAM1p based Prolog compiler.- Metastructures vs. attributed variables in the context of extensible unification.- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation.- Derivation of linear size relations by abstract interpretation.- Generic abstract interpretation algorithms for prolog: Two optimization techniques and their experimental evaluation.- A bottom-up interpreter for a higher-order logic programming language.- Camel: An extension of the categorical abstract machine to compile functional/logic programs.- On the interaction of lazy evaluation and backtracking.- Interprocedural dynamic slicing.- Algorithmic debugging for lazy functional languages.- A general trace query mechanism based on Prolog.- Fully declarative logic programming.- Our LIPS are sealed: Interfacing functional and logic programming systems.- Analyses of inconsistency for incremental equational logic programming.- I/O trees and interactive lazy functional programming.- UCG-E: An equational logic programming system.- A relational programming system with inferred representations.- An implementation of action semantics (Summary).- BinProlog: A continuation passing style Prolog engine.- LaToKi: A language toolkit for bottom-Up evaluation of functional programs.- Implementing higher-order functions in an algebraic specification language with narrowing.- Implementing attribute grammars by computational models.- ProQuery: Logical access to an OODB.- Inference of inheritance relationships from Prolog programs: a system developed with PrologIII.- CLP(PB).