Logical aspects of the Andorra Kernal Language
Number of Authors: 1
1991 (English)Report (Refereed)
The Computation model for Kernal Andorra is Presented, and some logical aspects treated. In particular a soundness theorem relative to a modified completion involving a logical interpretation of cut procedures is proved, together with a completeness theorem for wait-clauses.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , 32 p.
SICS Research Report, ISSN 0283-3638 ; R91:12
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14356OAI: oai:DiVA.org:ri-14356DiVA: diva2:1035644