Logic Program Synthesis and Transformation by Kung-Kiu Lau
Logic program synthesis and transformation are topics of central importance to the software industry. Logic Program Synthesis and Transformation describes the latest advances in machine-assisted development of logic programs.-
Database Programming Languages (DBPL-4)
-
Designing Correct Circuits
-
Object Orientation in Z
-
Building Interactive Systems
-
AI and Cognitive Science ’91
-
Specifications of Database Systems
-
Software Re-use, Utrecht 1989
-
Women into Computing
-
Z User Workshop, Cambridge 1994
-
7th UK Computer and Telecommunications Performance Engineering Workshop
-
Deontic Logic, Agency and Normative Systems
-
Active and Real-Time Database Systems (ARTDB-95)
-
Hypermedia Design
-
Advances in Databases and Information Systems
-
4th Refinement Workshop
-
AI and Cognitive Science ’90
-
Music Education: An Artificial Intelligence Approach
-
Code Generation — Concepts, Tools, Techniques
-
Modelling Database Dynamics
-
Semantics for Concurrency
-
Z User Workshop, Oxford 1990
-
Theory and Formal Methods 1993
-
5th Refinement Workshop
-
Z User Workshop, London 1992
-
Functional Programming, Glasgow 1990
-
Declarative Programming, Sasbachwalden 1991
-
Neural Computation and Psychology
-
Specification and Verification of Concurrent Systems
-
Formal Methods for Trustworthy Computer Systems (FM89)
-
First International Workshop on Larch
-
ALPUK91
-
Functional Programming, Glasgow 1994
-
Interfaces to Database Systems (IDS92)
-
Security and Persistence
-
Formal Aspects of Measurement
-
Z User Workshop
-
Formal Methods in Databases and Software Engineering
-
Functional Programming, Glasgow 1991
-
Persistent Object Systems
-
NAPAW 92
-
Incompleteness and Uncertainty in Information Systems
-
Z User Workshop, York 1991
-
AI and Cognitive Science ’89
-
IV Higher Order Workshop, Banff 1990
-
AI and Cognitive Science ’92
-
Rules in Database Systems
| SKU | Unavailable |
| ISBN 13 | 9783540198062 |
| ISBN 10 | 3540198067 |
| Title | Logic Program Synthesis and Transformation |
| Author | Kung-Kiu Lau |
| Series | Workshops In Computing |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1993-01-29 |
| Number of pages | 273 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |