Axioms of algorithmic logic univocally determine semantics of programs. (English) Zbl 0441.68023
Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 552-561 (1980).
MSC:
| 68Q65 | Abstract data types; algebraic specification |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
| 03B60 | Other nonclassical logic |
