A system for axiomatic programming

DOI10.1007/978-3-642-31374-5_20zbMATH Open1360.68360OpenAlexW1861268368MaRDI QIDQ2907330FDOQ2907330

Authors: 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

Recommendations

• scientific article; zbMATH DE number 107769
• scientific article; zbMATH DE number 1262431
• scientific article; zbMATH DE number 4058826
• The mathematical construction of a program
• IMPS: An interactive mathematical proof system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (5)

• Title not available (Why is that?)
• AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
• Title not available (Why is that?)
• Title not available (Why is that?)
• RETRPROV. A system that looks for axioms

Uses Software

• AXIOM
• IBM Scratchpad
• Haskell

This page was built for publication: A system for axiomatic programming

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