Cover Image

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 /

This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 July 1993. Logic program synthesis and transformation play a vital role in the automation of the software production process, a...

Full description

Bibliographic Details
Main Author:	Deville, Yves
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1994.
Series:	Workshops in computing.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

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)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

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)

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

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

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)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings /
by: Best, Eike
Published: (1993)

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings /
by: Main, Michael
Published: (1988)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1997)

Predicate Calculus and Program Semantics /
by: Dijkstra, Edsger W.
Published: (1990)

Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings /
by: Melton, Austin
Published: (1986)

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

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Current Trends in Concurrency : Overviews and Tutorials /
by: Bakker, Jacobus W. de
Published: (1986)

PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)

Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra /
by: Feijen, W. H. J.
Published: (1990)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Modal and Temporal Properties of Processes /
by: Stirling, Colin
Published: (2001)

Advanced Topics in Term Rewriting /
by: Ohlebusch, Enno
Published: (2002)

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement /
by: Broy, Manfred
Published: (2001)

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

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

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)

Computer Logic : Design Principles and Applications /
by: Hsu, John Y.
Published: (2002)

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
by: Crossley, John N.
Published: (1993)

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

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

Handbook of Logic and Proof Techniques for Computer Science /
by: Krantz, Steven G.
Published: (2002)

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

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

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

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

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /
Published: (1985)

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

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

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