Reasoning in interval temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 164 LNCS, Issue , 1984, Pages 371-382

  Moszkowski, Ben ^a   Manna, Zohar ^a,b  

^a STANFORD UNIVERSITY   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; ITERATIVE METHODS; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS;

CONTROL STRUCTURE; INTERVAL TEMPORAL LOGIC; PARALLEL COMPUTATION; PREDICATE LOGIC; QUICKSORT; SCOPING; TIME DEPENDENT;

TEMPORAL LOGIC;

EID: 85034570506     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-12896-4_374     Document Type: Conference Paper

References (12)

1. E. A. Ashcroft and W. W. Wadge. “Lucid: A formal system for writing and proving programs.” SIAM Journal of Computing 5, 3 (Sept. 1976), 336-354.
2. E. A. Ashcroft and W. W. Wadge. “Lucid, a nonprocedural language with iteration.” Communications of the ACM 20, 7 (July 1977), 519-526.
3. E. A. Ashcroft and W. W. Wadge. Lucid, the Data Flow Programming Language. To be published.
4. J. Halpern, Z. Manna and B. Moszkowski. A hardware semantics based on temporal intervals. Proceedings of the 10-th International Colloquium on Automata, Languages and Programming, Barcelona, Spain, July, 1983.
5. R. Kowalski. Logic for Problem Solving. Elsevier North Holland, Inc., New York, 1979.
6. Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R. S. Boyer and J. S. Moore, editors, The Correctness Problem in Computer Science, pages 215-273, Academic Press, New York, 1981.
7. B. Moszkowski. A temporal logic for multi-level reasoning about hardware. Proceedings of the 6-th International Symposium on Computer Hardware Description Languages, Pittsburgh, Pennsylvania, May, 1983, pages 79-90.
8. B. Moszkowski. Reasoning about Digital Circuits. PhD Thesis, Department of Computer Science, Stanford University, 1983.
9. B. Moszkowski and Z. Manna. Temporal logic as a programming language. In preparation.
10. N. Rescher and A. Urquart. Temporal Logic. Springer-Verlag, New York, 1971.
11. D. Scott. “Data types as lattices.” SIAM Journal of Computing 5, 3 (Sept. 1976), 522-587.
12. J. E. Stoy. Denotational Semantics: The Seott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, Masachusetts, 1977.