Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007478353/catalog> ?p ?o. }

Showing items 1 to 30 of 30 with 100 items per page.

catalog abstract ""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."--PUBLISHER'S WEBSITE.".
catalog contributor b10326550.
catalog contributor b10326551.
catalog contributor b10326552.
catalog created "c1996.".
catalog date "1996".
catalog date "c1996.".
catalog dateCopyrighted "c1996.".
catalog description ""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."--PUBLISHER'S WEBSITE.".
catalog description "An algebraic approach to mixins and modularity / Davide Ancona and Elena Zucca -- A strict border for the decidability of E-unification for recursive functions / Heinz Fassbender and Sebastian Maneth -- Prime factorizations of abstract domains using first order logic / Elena Marchiori -- Abstraction of uniform proofs / Paolo Volpe -- Complementing logic program semantics / Roberto Giacobazzi and Francesco Ranzato -- Meaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, and Fer-Jan de Vries -- Unique normal form property of higher-order rewriting systems / Ken Mano and Mizuhito Ogawa -- [Lambda]-calculi with explicit substitutions and composition which preserve [beta]-strong normalization (extended abstract) / Maria C.F. Ferreira, Delia Kesner, and Laurence Puel -- Algebraic semantics for functional logic programming with polymorphic order-sorted types / Jesús M. Almendros-Jiménez, Antonio Gavilanes-Franco, and Ana Gil-Luezas -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Specifying type systems ; The semantic treatment of polymorphic specification languages / Dieter Nazareth.".
catalog description "Toward the concurrent implementation of computational systems / Ilies Alouini and Claude Kirchner -- On negation as instantiation / Alessandra Di Pierro and Włodzimierz Drabent -- Independence in dynamically scheduled logic languages / María García de la Banda, Manuel Hermenegildo, and Kim Marriott -- Heterogeneous constraint solving / Frédéric Benhamou -- A hierarchy of semantics for normal constraint logic programs / François Fages and Roberta Gori -- Order-sorted termination : the unsorted way / Peter Csaba Ölveczky and Olav Lysne -- Unravelings and ultra-properties / Massimo Marchiori -- Standardization theorem revisited / Taro Suzuki -- Discrete normalization and standardization in deterministic residual structures / Zurab Khasidashvili and John Glauert -- A language for the logical specification of processes and relations / Luís Caires -- A process algebra for synchronous concurrent constraint programming / Luboš Brim [and others] -- ".
catalog extent "viii, 344 p. :".
catalog identifier "3540617353 (alk. paper)".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1139".
catalog issued "1996".
catalog issued "c1996.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.13/1 20".
catalog subject "Algebraic logic Congresses.".
catalog subject "Logic programming Congresses.".
catalog subject "QA76.63 .A36 1996".
catalog tableOfContents "An algebraic approach to mixins and modularity / Davide Ancona and Elena Zucca -- A strict border for the decidability of E-unification for recursive functions / Heinz Fassbender and Sebastian Maneth -- Prime factorizations of abstract domains using first order logic / Elena Marchiori -- Abstraction of uniform proofs / Paolo Volpe -- Complementing logic program semantics / Roberto Giacobazzi and Francesco Ranzato -- Meaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, and Fer-Jan de Vries -- Unique normal form property of higher-order rewriting systems / Ken Mano and Mizuhito Ogawa -- [Lambda]-calculi with explicit substitutions and composition which preserve [beta]-strong normalization (extended abstract) / Maria C.F. Ferreira, Delia Kesner, and Laurence Puel -- Algebraic semantics for functional logic programming with polymorphic order-sorted types / Jesús M. Almendros-Jiménez, Antonio Gavilanes-Franco, and Ana Gil-Luezas -- ".
catalog tableOfContents "Specifying type systems ; The semantic treatment of polymorphic specification languages / Dieter Nazareth.".
catalog tableOfContents "Toward the concurrent implementation of computational systems / Ilies Alouini and Claude Kirchner -- On negation as instantiation / Alessandra Di Pierro and Włodzimierz Drabent -- Independence in dynamically scheduled logic languages / María García de la Banda, Manuel Hermenegildo, and Kim Marriott -- Heterogeneous constraint solving / Frédéric Benhamou -- A hierarchy of semantics for normal constraint logic programs / François Fages and Roberta Gori -- Order-sorted termination : the unsorted way / Peter Csaba Ölveczky and Olav Lysne -- Unravelings and ultra-properties / Massimo Marchiori -- Standardization theorem revisited / Taro Suzuki -- Discrete normalization and standardization in deterministic residual structures / Zurab Khasidashvili and John Glauert -- A language for the logical specification of processes and relations / Luís Caires -- A process algebra for synchronous concurrent constraint programming / Luboš Brim [and others] -- ".
catalog title "Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, (eds.).".
catalog type "Conference proceedings. fast".
catalog type "text".