Algebraic and Logic Programming

5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

AvMichael Hanus,Mario Rodriguez-Artalejo

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

574 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.

Produktinformation

Utgivningsdatum:1996-09-11
Mått:155 x 235 x 20 mm
Vikt:546 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:348
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540617358

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Toward the concurrent implementation of computational systems.- On negation as instantiation.- Independence in dynamically scheduled logic languages.- Heterogeneous constraint solving.- A hierarchy of semantics for normal constraint logic programs.- Order-sorted termination: The unsorted way.- Unravelings and ultra-properties.- Standardization theorem revisited.- Discrete Normalization and Standardization in Deterministic Residual Structures.- A language for the logical specification of processes and relations.- A process algebra for synchronous concurrent constraint programming.- An algebraic approach to mixins and modularity.- A strict border for the decidability of E-unification for recursive functions.- Prime factorizations of abstract domains using first-order logic.- Abstractions of uniform proofs.- Complementing logic program semantics.- Meaningless terms in rewriting.- Unique normal form property of Higher-Order Rewriting Systems.- ?-calculi with explicit substitutions and composition which preserve ?-strong normalization.- Algebraic semantics for functional logic programming with polymorphic order-sorted types.- Specifying type systems.- The semantic treatment of polymorphic specification languages.

Du kanske också är intresserad av

Nyhet

Jag är Carola : Del 1. Frigörelsen

Carola Häggkvist, Desirée Stattin Drakenberg

Inbunden, 2026

289 kr

Causal Symmetric Spaces

Joachim Hilgert, Gestur Olafsson

E-bok

1996

758 kr

Algorithms - ESA '96

Joseph Diaz, Maria Serna

Häftad, 1996

558 kr

Student's Guide to Mexican American Genealogy

Unknown

Inbunden, 1996

507 kr

Changing Numbers, Changing Needs

Committee on Population, Commission on Behavioral and Social Sciences and Education, Division of Behavioral and Social Sciences and Education, National Research Council, Gary D. Sandefur, Ronald R. Rindfuss, Barney Cohen