Axioms of algorithmic logic univocally determine semantics of programs
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 552-561
- https://doi.org/10.1007/bfb0022532
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A survey of input-output semantics and program verification, rep. 344Information Systems, 1980
- Complete axiomatization of algorithmic properties of program schemes with bounded nondeterministic interpretationsPublished by Association for Computing Machinery (ACM) ,1980
- Axiomatic definitions of programming languagesPublished by Association for Computing Machinery (ACM) ,1980
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- An Application of Bin-Packing to Multiprocessor SchedulingSIAM Journal on Computing, 1978
- Algorithmic logic and its applications in the theory of programs IFundamenta Informaticae, 1977
- Programmability in fieldsFundamenta Informaticae, 1977
- An axiomatic definition of the programming language PASCALActa Informatica, 1973