Vor Ort
Merkzettel Warenkorb
  • Produktbild: Programming Languages: Implementations, Logics and Programs
  • Produktbild: Programming Languages: Implementations, Logics and Programs
Band 982

Programming Languages: Implementations, Logics and Programs 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1995

Abbildungen

XII, 476 p.

Herausgeber

Manuel Hermenegildo + weitere

Verlag

Springer Berlin

Seitenzahl

476

Maße (L/B/H)

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

Gewicht

733 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60359-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1995

Abbildungen

XII, 476 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

476

Maße (L/B/H)

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

Gewicht

733 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60359-7

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 Languages: Implementations, Logics and Programs
  • Produktbild: Programming Languages: Implementations, Logics and Programs
  • A generic program for sequential decision processes.- Parsing visual languages with constraint multiset grammars.- Programming with constructor classes.- Towards a taxonomy of functional language implementations.- A ?-calculus à la de Bruijn with explicit substitutions.- A verified implementation of narrowing.- A new calculus for semantic matching.- A complete narrowing calculus for higher-order functional logic programming.- Exploiting parallelism in tabled evaluations.- Design and implementation of jump tables for fast indexing of logic programs.- An abstract machine for Oz.- Uniform PERs and comportment analysis.- Uniqueness type inference.- Modes of comprehension: Mode analysis of arrays and array comprehensions.- Better consumers for deforestation.- Efficient compile-time garbage collection for arbitrary data structures.- Efficient multi-level generating extensions for program specialization.- Mechanically verifying the correctness of an offline partial evaluator.- A semantic model of binding times for safe partial evaluation.- Gadgets: Lazy functional components for graphical user interfaces.- Lightweight GUIs for functional programming.- Local linear logic for locality consciousness in multiset transformation.- The notion of floundering for SLDNF-resolution revisited.- Minimal set unification.- Goal-directed query processing in disjunctive logic databases.- A dataflow semantics for constraint logic programs.- A functional framework for deterministically interleaved interactive programs.- A debugging model for lazy narrowing.- Evaluation of expressions in a multiparadigm framework.- An expression-or-parallel implementation for a functional logic language.- Attributed models of executable specifications.- Approximating constraint logic programs using polymorphictypes and regular descriptions.- Performance of a data-parallel concurrent constraint programming system.- A portable implementation of memoing evaluation.