Skip to content

Expressivity

Jump to bottom
kbak edited this page Feb 28, 2012 · 2 revisions

TODO: compare with FOL, Prolog, Alloy, UML, OCL

Generative Software Development Lab
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1

Clafer in Depth:

Clone this wiki locally