Paper Info
Title
An Operational Semantics of Starlog
Abstract
Starlog is a temporal logic programminglanguage that supports declarative specification of reactive systems, input-output behaviour and destructive updates. This paper presents an operational semantics for Starlog. Its correctness and completeness with respect to a model semantics are proved. c flSpringer-Verlag Keywords: Operational Semantics; Constraint Logic Programs; Temporal Logic Programs; Stratification 1 Introduction Starlog is a temporal logic programming (TLP for short) language. It...
Year
DOI
Venue
1999
10.1007/10704567_18
PPDP
Keywords
Field
DocType
operational semantics,input output,reactive system,temporal logic,stratification
Operational semantics,Programming language,Axiomatic semantics,Computational semantics,Computer science,Denotational semantics,Action semantics,Type erasure,Failure semantics,Well-founded semantics
Conference
Volume
ISSN
ISBN
1702
0302-9743
3-540-66540-4
Citations 
PageRank 
References 
7
0.51
35
Authors
2
Name
Order
Citations
PageRank
Lunjin Lu122926.40
John G. Cleary21791365.78