Formal Specification with Alloy: Specification of Algorithms
| Abstract | Overview • Alloy peculiarity • Alloy utilities • Assignments and pre- and postconditions in Alloy • Alloy for automated logical reasoning • Alloy specifications of algorithms • On your to do list: – Look through the example code in these slides, – make sure you understand what is happening. Note: Alloy Peculiarity.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesKit Fine (2008). Coincidence and Form. Aristotelian Society Supplementary Volume 82 (1):101-118.
Jeffrey C. King (2006). Semantics for Monists. Mind 115 (460):1023-1058.
D. M. Jacobson & M. P. Weitzman (1995). Black Bronze and the 'Corinthian Alloy'. The Classical Quarterly 45 (02):580-.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,316 of 549,037 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
