SODA

Logical aspects of the Andorra Kernal Language

Franzén, Torkel (1991) Logical aspects of the Andorra Kernal Language. [SICS Report]

[img]
Preview
PDF
3025Kb

Abstract

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
ID Code:2506
Deposited By:Vicki Carleson
Deposited On:23 Oct 2009
Last Modified:18 Nov 2009 16:09

Repository Staff Only: item control page