Relations as executable specifications: taming partiality and non-determinism using invariants

Macedo, N.; Pacheco, H.; Cunha, A.

by N. Macedo, H. Pacheco, A. Cunha

Reference:

N. Macedo, H. Pacheco, A. Cunha, Relations as executable specifications: taming partiality and non-determinism using invariants, In Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Springer-Verlag, vol. 7560, pp. 146-161, 2012.

Bibtex Entry:

@inproceedings{invlenses,
 author = {Macedo, N. and Pacheco, H. and Cunha, A.},
 title = {Relations as executable specifications: taming partiality and non-determinism using invariants},
 booktitle = {Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13)},
 series = {Lecture Notes in Computer Science},
 publisher = {Springer-Verlag},
 pages = {146-161},
 volume = {7560},
 url = {publications/ramics13.pdf},
 year = {2012}
}