Program development in computational logic : a decade of research advances in logic-based program development /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2004]
|
| Series: | Lecture notes in computer science ;
3049. Lecture notes in computer science. State-of-the-art survey. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049 |
Table of Contents:
- 1. Specification and synthesis
- 2. Semantics
- 3. Analysis
- 4. Transformation and specialisation
- 5. Termination
- 6. Systems
- Author index.