We define a pure logic programming language, which is extended with specification and assertion constructs.
An edition of Logic Program Synthesis and Transformation
(1997)
Logic Program Synthesis and Transformation
6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)
1 edition
by John Gallagher
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic programming, Congresses| Edition | Availability |
|---|---|
1
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)
April 18, 1997, Springer
Paperback
in English
- 1 edition
3540627189 9783540627180
|
aaaa
|
Book Details
First Sentence
"We define a pure logic programming language, which is extended with specification and assertion constructs."
The Physical Object
ID Numbers
Excerpts
added anonymously.
Community Reviews (0)
Feedback?
| July 29, 2014 | Edited by ImportBot | import new book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |