Logic-Based Program Synthesis and Transformation
Subtitle: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 28, 1999
Language: eng
Format: Paperback
Number of pages: 331
ISBN-13: 9783540657651
Subjects: Computer Programming; Computer architecture & logic design; Mathematical theory of computation; Logic Programming; Computers - Languages / Programming; Computers; Computer Books: General; Programming - General; Artificial Intelligence - General; Logic Design; Programming - Object Oriented Programming; Automated Program Development; Computers / Logic Design; Program Synthesis; Program Transformation; Programming Logic; Congresses
First sentence: Specifications state properties or constraints that a software system must satisfy to solve a problem [IEEE 91], describe the interface between the problem domain and the software system [Jackson 95], and define the purpose of the software system and its correct use [Le Charlier &amp; Flener 98].
Description: <br />Author: <br /> Published by <br /> ISBN: <br /> DOI: <br /><br />Table of Contents:<p></p>