Publications

Relations as Executable Specifications: Taming Partiality and Non-Determinism Using Invariants

AuthID
P-008-6SE

Author(s)

Macedo, N

Pacheco, H

Cunha, A

Editor(s)

Wolfram Kahl; Timothy G. Griffin

Document Type

Proceedings Paper

Year published

2012

Published

in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7560, Pages: 146-161

Conference

13Th International Conference on Relational and Algebraic Methods in Computer Science, Ramics 2012, Date: 17 September 2012 through 20 September 2012, Location: Cambridge, Sponsors: University of Cambridge, Computer Laboratory;British Logic Colloquium;Winton Capital Management

Indexing