Franzén, Torkel (1991) Logical aspects of the Andorra Kernal Language. [SICS Report]
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.
|Item Type:||SICS Report|
|Deposited By:||Vicki Carleson|
|Deposited On:||23 Oct 2009|
|Last Modified:||18 Nov 2009 16:09|
Repository Staff Only: item control page