Proof versus formalization

DOI10.1007/BF01935023zbMath0815.68069OpenAlexW4231362020MaRDI QIDQ1343048

Peter Naur

Publication date: 30 January 1995

Published in: BIT (Search for Journal in Brave)

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

zbMATH Keywords

specification parsing

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Abstract interpretation of graphs

Cites Work

• Optimization of LR(k) parsers
• Compatibility problems in the development of algebraic module specifications
• Can programming be liberated from the von Neumann style?
• A Theorem on Boolean Matrices
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof versus formalization