|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Kit 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-.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads2 ( #232,316 of 549,037 )
Recent downloads (6 months)0
How can I increase my downloads?