KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Programming Language Implementation and Logic Programming
  • Produktbild: Programming Language Implementation and Logic Programming
Band 844

Programming Language Implementation and Logic Programming 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.08.1994

Abbildungen

XIV, 474 p.

Herausgeber

Manuel Hermenegildo + weitere

Verlag

Springer Berlin

Seitenzahl

474

Maße (L/B/H)

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

Gewicht

733 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58402-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.08.1994

Abbildungen

XIV, 474 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

474

Maße (L/B/H)

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

Gewicht

733 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58402-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • Concurrent constraint programming.- Specifications using multiple-conclusion logic programs.- Viewing a program transformation system at work.- A portable and efficient implementation of KL1.- Why Multi-SLD beats SLD (even on a uniprocessor).- Abstracting synchronization in concurrent constraint programming.- A novel term compression scheme and data representation in the BinWAM.- A simple and efficient copying garbage collector for prolog.- Deriving residual reference count garbage collectors.- RML — A new language and implementation for Natural Semantics.- Towards a provably correct compiler for OBJ3.- An implementation technique for a class of bottom-up procedures.- Partial deduction and driving are equivalent.- Partial continuations as the difference of continuations a duumvirate of control operators.- Hand-writing program generator generators.- A logic for encapsulation in object oriented languages.- Annotated constraint logic programming applied to temporal reasoning.- Clp(B): Combining simplicity and efficiency in boolean Constraint solving.- Handling preferences in constraint logic programming with relational optimization.- Improving search for job-shop scheduling with CLP(FD).- Implementations of program composition operations.- Sleepers: a versatile high-level control mechanism.- Improving arithmetic performance using fine-grain unfolding.- Unfold/fold transformations for definite clause programs.- A graph reduction technique with sharing across narrowings for functional-logic languages.- Combining lazy narrowing and simplification.- Combining lazy narrowing with disequality constraints.- Abstracting numerical values in CLP(H,N).- Dynamic dependence in term rewriting systems and its application to program slicing.- Abstracting s-semantics using amodel-theoretic approach.- Using higher-order control flow analysis when compiling functional languages.- Readable, runnable requirements specifications in SPILL-2.- A system to visualize and interact with prolog programs.- Semantic-based static program transformations for memory space and run time optimization in hybrid languages.- Towards a constraint functional logic compiler for symbolic computation systems.- PROMAL — Programming in modal action logic.- Implementing the synthesis of properties in unfold/fold transformations.- Shared memory system for Babel: a VHDL specification.- Towards integrating functional and logic styles using relation.- Tabulation of functions in definite clause programs.- Flang system: A new version.