The clean termination of Pascal programs

DOI10.1007/BF00289066MaRDI QIDQ1253540zbMATH OpenOpenAlexFDO

Authors K. Appert

Publication date 1979

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00289066

zbMATH Keywords

Program VerificationAxiomatic DefinitionClean Termination

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• scientific article; zbMATH DE number 3448068 (Why is no real title available?)
• scientific article; zbMATH DE number 3303655 (Why is no real title available?)
• An axiomatic basis for computer programming
• An axiomatic definition of the programming language Pascal
• Consistent and complementary formal theories of the semantics of programming languages

This page was built for publication: The clean termination of Pascal programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1253540)