David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
As a start, we give further examples of Alloy specifications. Next we turn to specification of imperative programs. Assertions about programs are specifications of how the program is supposed to behave. Assertions can be used for correctness reasoning and for testing. We illustrate the important notions of preconditions and postconditions. We demonstrate how the state transitions of imperative programming can be modelled as relations in Alloy. Correctness reasoning can be linked to testing and debugging by means of executable assertions, and by means of random generation of test cases based on preconditions and postconditions
|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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Jukka Mikkonen (2009). Assertions in Literary Fiction. Minerva 13:144-180.
Timothy R. Colburn (1991). Program Verification, Defeasible Reasoning, and Two Views of Computer Science. Minds and Machines 1 (1):97-116.
Jessica Brown (2005). Comparing Contextualism and Invariantism on the Correctness of Contextualist Intuitions. Grazer Philosophische Studien 69 (1):71-100.
Ton Sales (1996). Logic of Assertions. Theoria 11 (1):203-228.
Kenneth M. Sayre (1964). On Disagreement About Perception. Inquiry 7 (1-4):143 – 162.
Christopher Kaczor (2012). Can It Be Morally Permissible to Assert a Falsehood in Service of a Good Cause? American Catholic Philosophical Quarterly 86 (1):97-109.
Antony Eagle (2007). Telling Tales. Proceedings of the Aristotelian Society 107 (1pt2):125 - 147.
Rodrigo A. Freire (2012). On Existence in Set Theory. Notre Dame Journal of Formal Logic 53 (4):525-547.
Ingvar Johansson (2003). Performatives and Antiperformatives. Linguistics and Philosophy 26 (6):661-702.
Matthew Weiner (2005). Must We Know What We Say? Philosophical Review 114 (2):227-251.
Raymond S. Nickerson & Susan F. Butler (2008). Efficiency in Data Gathering: Set Size Effects in the Selection Task. Thinking and Reasoning 14 (1):60 – 82.
Added to index2010-11-21
Total downloads17 ( #227,513 of 1,934,588 )
Recent downloads (6 months)1 ( #434,272 of 1,934,588 )
How can I increase my downloads?