Logic Program Synthesis and Transformation
Subtitle: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 18, 1997
Language: eng
Format: Paperback
Number of pages: 325
ISBN-13: 9783540627180
Subjects: General Theory of Computing; Programming languages; Logic Programming; Congresses; Computers; Computers - Languages / Programming; Reference; Programming - General; Logic; Logic Design; Programming - Object Oriented Programming; Computers / Programming / General; Logisches Programmieren; Programmanalyse; Programmsynthese; Programmtransformation; Programmverifikation; Computer Science
First sentence: We define a pure logic programming language, which is extended with specification and assertion constructs.