|
A CASL Quick Reference
Michel Bidoit1 and Peter D. Mosses2
1 Laboratoire Spécification et Vérification, CNRS UMR 8643
École Normale Supérieure de Cachan
61, Avenue du Président Wilson, 94235 Cachan Cedex, France
bidoit@lsv.ens-cachan.fr
2 University of Aarhus, BRICS and Department of Computer Science
Aabogade 34, 8200 Aarhus N, Denmark
pdmosses@brics.dk
Abstract.
This appendix provides an overview of the (concrete) syntax of each part of CASL.
LNCS 2900, pp. 193 - 201
Full article in PDF
lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004
|