A System for Axiomatic Programming

DOI10.1007/978-3-642-31374-5_20zbMath1360.68360MaRDI QIDQ2907330

Gabriel Dos Reis

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_20

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• AXIOM
• IBM Scratchpad
• Haskell