×

Open problems related to axiomatic descriptions of programs. (English) Zbl 0683.68014

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
PDFBibTeX XMLCite