Programming Language Implementation and Logic Programming
Springer Berlin (Verlag)
978-3-540-58402-5 (ISBN)
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.
| Erscheint lt. Verlag | 24.8.1994 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XIV, 474 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 636 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Schlagworte | Compiler • Concurrency • Constraint • Constraint-Programmieren • Constraint Programming • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • HC/Informatik, EDV/Programmiersprachen • implementation • Implementierung • Logic • Logic Programming • Logisches Programmieren • Meta-Programmieren • Meta-Programming • Optimization • Parallelism • Programmiersprache • Programmiersprachenimplementierung • Programmierung • programming • Programming language • Programming Language Implementation • Program Transformation • proving • Semantics • Sleep |
| ISBN-10 | 3-540-58402-1 / 3540584021 |
| ISBN-13 | 978-3-540-58402-5 / 9783540584025 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
