Reasoning about partial functions in the formal development of programs

zbMATH Open1276.68059MaRDI QIDQ2863853FDOQ2863853

Authors: Cliff B. Jones 

Publication date: 4 December 2013

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

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

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)

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)