Forms of logic specifications: A preliminary study
1997 (English)In: LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, ISSN 0302-9743, Vol. 1207, 295-312 p.Article in journal (Other scientific) Published
There is no universal agreement on exactly what form a specification should take, what part it should play in synthesis, and what its precise relationship with the specified program should be. In logic programming, the role of specification is all the mor
Place, publisher, year, edition, pages
SPRINGER-VERLAG BERLIN , 1997. Vol. 1207, 295-312 p.
IdentifiersURN: urn:nbn:se:uu:diva-27175OAI: oai:DiVA.org:uu-27175DiVA: diva2:55069
Addresses: Lau KK, UNIV MANCHESTER, DEPT COMP SCI, OXFORD RD, MANCHESTER M13 9PL, LANCS, ENGLAND. UNIV MILAN, DIPARTIMENTO SCI INFORMAZ, I-20122 MILAN, ITALY. UNIV UPPSALA, DEPT COMP SCI, S-75105 UPPSALA, SWEDEN.2008-10-172008-10-172011-01-15