Document Zbl 0478.68031

Expressing program looping in regular dynamic logic. (English) Zbl 0478.68031

Theor. Comput. Sci. 18, 301 (1982).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0478.68031

MSC:

68Q65	Abstract data types; algebraic specification
68N01	General topics in the theory of software
03B60	Other nonclassical logic

Keywords:

nondeterminism; random assignments

Cite Review PDF

Full Text: DOI

References:

[1]	Dijkstra, E., A Discipline of Programming (1976), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ · Zbl 0368.68005
[2]	Greibach, S., Theory of Program Structures: Schemes, Semantics, Verification, (Lecture Notes in Computer Science, 36 (1975), Springer: Springer Berlin) · Zbl 0345.68002
[3]	Greif, I.; Meyer, A. R., Specifying the semantics of while-programs, (Technical Memorandum 130 (1979), Laboratory for Computer Science, Massachusetts Institute of Technology) · Zbl 0471.68007
[4]	Harel, D., Logics of programs: axiomatics and descriptive power, (PhD Thesis (1978), Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology), Revised version of: · Zbl 0589.68030
[5]	Harel, D.; Pratt, V. R., Nondeterminism in logics of programs, 5th Annual Symposium on Principles of Programming Languages, 203-213 (1978)
[6]	Hoare, C. A.R., Some properties of predicate transformers, J. ACM, 25, 3, 461-480 (1978) · Zbl 0379.68016
[7]	Hossley, R.; Rackoff, C., The emptiness problem for automata on infinite trees, 13th Annual Symposium on Switching and Automata Theory (1972)
[8]	Meyer, A. R., Ten thousand and one logics of programming, EATCS Bull., 11-29 (January 1980)
[9]	Meyer, A. R.; Parikh, R., Definability in Dynamic Logic, 11th ACM Symposium or Theory of Computing. 11th ACM Symposium or Theory of Computing, J. Comput. System Sci., 1-7 (1981), to appear · Zbl 0472.03013
[10]	Pratt, V. R., Semantical considerations on Floyd-Hoare Logic, 17th Annual Symposium on Foundations of Computer Science, 109-121 (1976)
[11]	Rabin, M., Automata on infinite trees and the synthesis problem, (Technical Report No. 37 (1970), Hebrew University: Hebrew University Jerusalem)
[12]	Rasiowa, H., Algorithmic logic, (Report No. 281 (1977), Institute of Computer Science, Polish Academy of Sciences: Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland) · Zbl 0343.02013
[13]	Salwicki, A., Formalized algorithmic languages, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., XVIII, 5, 227-232 (1970) · Zbl 0198.02801

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.