David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Erkenntnis 43 (3):321 - 338 (1995)
An important perquisite for verification of the correctness of software is the ability to write mathematically precise documents that can be read by practitioners and advanced users. Without such documents, we won't know what properties we should verify. Tabular expressions, in which predicate expressions may appear, have been found useful for this purpose. We frequently use partial functions in our tabular documentation. Conventional interpretations of expressions that describe predicates are not appropriate for our application because they do not deal with partial functions. Experience with this documentation has led us to choose a logic in which predicates are total but functions remain partial. We have found that this particular interpretation results in simpler expressions and is easily understood by practitioners.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Gerard R. Renardel & de Lavalette (1984). Descriptions in Mathematical Logic. Studia Logica 43 (3):281-294.
Ronald R. Sims, Hsing K. Cheng & Hildy Teegen (1996). Toward a Profile of Student Software Piraters. Journal of Business Ethics 15 (8):839 - 849.
William M. Farmer (1995). Reasoning About Partial Functions with the Aid of a Computer. Erkenntnis 43 (3):279 - 294.
Silvio Ghilardi & Giancarlo Meloni (1996). Relational and Partial Variable Sets and Basic Predicate Logic. Journal of Symbolic Logic 61 (3):843-872.
William M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
Yingxu Wang (2003). Using Process Algebra to Describe Human and Software Behaviors. Brain and Mind 4 (2):199-213.
Raymond D. Gumb (2002). The Lazy Logic of Partial Terms. Journal of Symbolic Logic 67 (3):1065-1077.
Robert Boyer, The Addition of Bounded Quantification and Partial Functions to a Computational Logic and its Theorem Prover.
David M. Douglas (2011). The Social Disutility of Software Ownership. Science and Engineering Ethics 17 (3):485-502.
Added to index2009-01-28
Total downloads10 ( #118,509 of 1,012,676 )
Recent downloads (6 months)0
How can I increase my downloads?