uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Forms of logic specifications: A preliminary study
Uppsala University.
Uppsala University.
1997 (English)In: LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, ISSN 0302-9743, Vol. 1207, 295-312 p.Article in journal (Other scientific) Published
Abstract [en]

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.
Keyword [en]
PROGRAMS
Identifiers
URN: urn:nbn:se:uu:diva-27175OAI: oai:DiVA.org:uu-27175DiVA: diva2:55069
Note
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.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-15

Open Access in DiVA

No full text

By organisation
Uppsala University

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 322 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf