Grabowski, Michal Open problems related to axiomatic descriptions of programs. (English) Zbl 0683.68014 J. Inf. Process. Cybern. 25, No. 11-12, 619-624 (1989). Summary: We define a certain class of algol-like programs: programs possessing an axiomatic description. Open problems connected with this class are formulated. MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68Q55 Semantics in the theory of computing Keywords:axiomatic definition of a programming language; semantics; input-output relation; partial correctness PDFBibTeX XMLCite \textit{M. Grabowski}, J. Inf. Process. Cybern. 25, No. 11--12, 619--624 (1989; Zbl 0683.68014)