Algebraic and Logic Programming
Springer Berlin (Verlag)
978-3-540-58431-5 (ISBN)
Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
Concurrent constraint programming.- Specifications using multiple-conclusion logic programs.- Viewing a program transformation system at work.- Proving implications by algebraic approximation.- Sufficient completeness and parameterized proofs by induction.- Proving behavioural theorems with standard first-order logic.- How to realize LSE narrowing.- Compositional analysis for equational Horn programs.- Equation solving in projective planes and planar ternary rings.- From eventual to atomic and locally atomic CC programs: A concurrent semantics.- Concurrent logic programming as uniform linear proofs.- Three-valued completion for abductive logic programs.- A sequential reduction strategy.- On modularity of termination and confluence properties of conditional rewrite systems.- Syntactical analysis of total termination.- Logic programs as term rewriting systems.- Higher-order minimal function graphs.- Reasoning about layered, wildcard and product patterns.- Preserving universal termination through unfold/fold.- A logic for variable aliasing in logic programs.
| Erscheint lt. Verlag | 24.8.1994 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | X, 314 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 425 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| Schlagworte | algebraic programming • Algebraisches Programmieren • Constraint Logic Programming • formale Sprachen • Hardcover, Softcover / Informatik, EDV/Programmiersprachen • HC/Informatik, EDV/Anwendungs-Software • HC/Informatik, EDV/Programmiersprachen • higher-order programming • höherstufiges Programmieren • Logic • Logic Programming • Logische Programmierung • Logisches Programmieren • Mathematische Logik • programming • proving • Term • Termersetzung • term rewri • Term Rewriting • theorem proving |
| ISBN-10 | 3-540-58431-5 / 3540584315 |
| ISBN-13 | 978-3-540-58431-5 / 9783540584315 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
