David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Paul R. Halmos & Patrick Suppes (1960). Naive Set Theory. Journal of Philosophy 57 (15):512-513.
William M. Farmer (1990). A Partial Functions Version of Church's Simple Theory of Types. Journal of Symbolic Logic 55 (3):1269-1291.
Citations of this work BETA
No citations found.
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 downloads15 ( #247,747 of 1,911,030 )
Recent downloads (6 months)1 ( #459,551 of 1,911,030 )
How can I increase my downloads?