Springer
CD-ROM OverviewTable of ContentsSearch

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