Proof-theoretic notions for software maintenance

DOI10.1016/S1571-0661(05)80048-9MaRDI QIDQ4923374zbMATH OpenFDO

Authors Reinhard Kahle

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(05)80048-9

Mathematics Subject Classification ID

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

Cites work

• A Complete Axiomatization of the Three valued Completion of Logic Programs
• A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12].1
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• An axiomatic basis for computer programming
• CUT-PROPERTY AND NEGATION AS FAILURE
• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 1687041 (Why is no real title available?)
• scientific article; zbMATH DE number 432701 (Why is no real title available?)
• scientific article; zbMATH DE number 432705 (Why is no real title available?)
• scientific article; zbMATH DE number 48095 (Why is no real title available?)
• scientific article; zbMATH DE number 65743 (Why is no real title available?)
• scientific article; zbMATH DE number 1215501 (Why is no real title available?)
• scientific article; zbMATH DE number 591901 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1086682 (Why is no real title available?)
• scientific article; zbMATH DE number 1142317 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 1142325 (Why is no real title available?)
• scientific article; zbMATH DE number 1142327 (Why is no real title available?)
• scientific article; zbMATH DE number 2006639 (Why is no real title available?)
• scientific article; zbMATH DE number 1552509 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Hypothetical reasoning and definitional reflection in logic programming
• Linear logic
• On Databases with Incomplete Information
• The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
• Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages

Cited in

(1)

• Maintenance commitments: conception, semantics, and coherence

This page was built for publication: Proof-theoretic notions for software maintenance

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