A logical basis for programming methodology

DOI10.1016/0304-3975(81)90030-XzbMath0469.68006MaRDI QIDQ1157140

Satoru Takasu, Sukemitsu Kawabata

Publication date: 1981

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

formal proofsWHILE-programs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

Proofs and programs: A naïve approach to program extraction

Uses Software

• Find

Cites Work

• Proof of a program
• Unnamed Item

This page was built for publication: A logical basis for programming methodology