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..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

About Testing and Specification . . . and about First Order Logic.Jan van Eijck - unknown
Specification with Alloy — Further Examples, More Foundations.Jan van Eijck - unknown
Specification with Alloy — Foundations.Jan van Eijck - unknown
Haskell Programming With Tests, and Some Alloy.Jan van Eijck - unknown
Limits and Strengths of Predicate Logic (and its Alloy Implementation).Jan van Eijck - unknown
Black bronze and the 'Corinthian alloy'.D. M. Jacobson & M. P. Weitzman - 1995 - Classical Quarterly 45 (02):580-.
The tetrad project: Constraint based aids to causal model specification.Richard Scheines - 1998 - Multivariate Behavioral Research 33 (1):65-117.
Semantics for monists.Jeffrey King - 2006 - Mind 115 (460):1023-1058.
Specifications and Assertions.Jan van Eijck - unknown

Analytics

Added to PP
2009-01-28

Downloads
28 (#555,203)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references