Formalization in program development

DOI10.1007/BF01934408zbMath0494.68013OpenAlexW4247279786MaRDI QIDQ1169283

Peter Naur

Publication date: 1982

Published in: BIT (Search for Journal in Brave)

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

zbMATH Keywords

programmingprogram specifications22, 437-453 (1982)proving programs correct

Mathematics Subject Classification ID

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

Related Items (4)

Datalogy - the Copenhagen tradition of computer science ⋮ Specification of data restructuring software based on the attribute method ⋮ On formalisms ⋮ Specification of a query language by the attribute method

Uses Software

• ALGOL 60

Cites Work

• Modified Report on the Algorithmic Language ALGOL 60
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalization in program development