Abstract
A declarative semantics of a concurrent programming language based on Horn logic such as Flat GHC is presented. The domain of input/output (I/O) histories is introduced. The model of a program is defined as a set of I/O histories. The notion of truth is redifined for goal clauses and sets of guarded clauses. The semantics of a program is defined as the maximum model of the program. We also show that the semantics is characterized as the greatest fixpoint of the function obtained from the program. The properties of programs that contain perpetual computation controlled by guard-commit mechanisms can be discussed using the semantics.
Original language | English |
---|---|
Pages (from-to) | 67-83 |
Number of pages | 17 |
Journal | Theoretical Computer Science |
Volume | 75 |
Issue number | 1-2 |
DOIs | |
Publication status | Published - 1990 |
Externally published | Yes |
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)