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 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.08.1993

Abbildungen

XIII, 427 p.

Herausgeber

Maurice Bruynooghe + weitere

Verlag

Springer Berlin

Seitenzahl

427

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

663 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57186-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.08.1993

Abbildungen

XIII, 427 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

427

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

663 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57186-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Executable specifications for language implementation.- Avoiding dynamic delays in functional logic programs.- A debugging model for functional logic programs.- A conservative approach to meta-programming in constraint logic programming.- The versatility of handling disjunctions as constraints.- Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains (extended abstract).- Improvements in compile-time analysis for Ground Prolog.- A new top-down parsing algorithm for left-recursive DCGs.- Specification and implementation of grammar couplings using attribute grammars.- Programming language specification and prototyping using the MAX system.- Flang and its implementation.- Efficient lazy narrowing using demandedness analysis.- A demand driven computation strategy for lazy narrowing.- Functional programming languages with logical variables: A linear logic view.- Objects with state in contextual logic programming.- A novel method for parallel implementation of findall.- A parallel implementation for AKL.- Inlining to reduce stack space.- A WAM-based implementation of a logic language with sets.- An OR parallel Prolog model for distributed memory systems.- Executing bounded quantifications on shared memory multiprocessors.- A lattice of abstract graphs.- Higher-order chaotic iteration sequences.- Proving the correctness of compiler optimisations based on strictness analysis.- Abstract complexity of prolog based on WAM.- Development of rewriting strategies.- Narrowing approximations as an optimization for equational logic programs.- Pagode: A back end generator.- SelfLog: Language and implementation.- Embedding declarative subprograms into imperative constructs.- Stack management of runtime structures in distributed implementations.- Efficient register allocation for large basic blocks.- Generation of synchronization code for parallel compilers.