Article10.1007/bf01068223

Axiomatic semantics of R-schemas and verification of graphic programs

Iryna Kasatkina,A. L. Kovalev,S. V. Ershov-1990-01-01-Cybernetics

1

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Programming languageCorrectnessComputer scienceAxiomatic semanticsPascal (unit)AxiomSemantics (computer science)Theoretical computer science

Chat

Click to start Chat