
Add to Quick Collection
- Title
- Verification of Starlog Programs
- Author/Creator
-
Cleary, John |
Utting, Mark
- Description
- Starlog is a purely declarative, temporal, logic programming language. It supports both bottom-up and top-down execution and is well-suited to writing reactive programs. This paper presents a simple methodology for proving Starlog programs correct with respect to predicate calculus specifications.
- Relation
- 2nd Australasian Workshop of Computational Logic, Gold Coast, Australia 31 January-1 February 2001
- Relation
- Proceedings of the 2nd Australasian Workshop of Computational Logic / Antoniou, Grigoris, Governatori, Guido (eds): pp.31-45
- Year
- 2001
- Publisher
- Queensland University of Technology
- Subject
-
FoR 0802 (Computation Theory and Mathematics) |
computer logic |
congresses
- Resource Type
- Conference Paper
401 Visitors
0 Downloads