Reasoning about partial functions in the formal development of programs

MaRDI QIDQ2863853zbMATH OpenFDO

Authors Cliff B. Jones

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052473?np=y

zbMATH Keywords

logicpartial functionsformal development

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• The connection between two ways of reasoning about partial functions
• A first order logic for partial functions
• Partial logics reconsidered: A conservative approach
• Adapting Calculational Logic to the Undefined
• Partial functions in a total setting

Cited in

(7)

• ASP with non-herbrand partial functions: a language and system for practical use
• A typed logic of partial functions reconstructed classically
• Reasoning About Incompletely Defined Programs
• Satisfiability in composition-nominative logics
• Adding partial functions to constraint logic programming with sets
• Automating Side Conditions in Formalized Partial Functions
• The connection between two ways of reasoning about partial functions

This page was built for publication: Reasoning about partial functions in the formal development of programs

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