Cover Image

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production:...

Full description

Bibliographic Details
Main Author:	Lau, Kung-Kiu
Corporate Author:	SpringerLink (Online service)
Other Authors:	Clement, Timothy Paul
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Series:	Workshops in computing.
Subjects:	Computer science. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /
by: Wiggins, Geraint A.
Published: (1992)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
by: Jaffar, Joxan
Published: (1999)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
by: Baader, Franz
Published: (2003)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)

Specification and Transformation of Programs : a Formal Approach to Software Development /
by: Partsch, Helmut A.
Published: (1990)

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995. Proceedings /
by: Montanari, Ugo
Published: (1995)

Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996. Proceedings /
by: Freuder, Eugene C.
Published: (1996)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings /
Published: (1992)

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions /
by: Bertot, Yves
Published: (2004)

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
by: Hunt, Jr., Warren A.
Published: (2003)

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

An Introduction to Fuzzy Logic Applications in Intelligent Systems /
by: Yager, Ronald R.
Published: (1992)

The Munich Project CIP : Volume II: The Program Transformation System CIP-S /
by: Bauer, F. L.
Published: (1987)