Back to the CAMILA home page

CAMILA is a software development environment intended to promote the use of formal methods in industrial software environments. It is currently being developed by JNICT consortium 169/90 (INESC group 2361 hosted by the University of Minho, Braga, Portugal, and the Department of Informatics of the same University) by a team led by Prof. José N. Oliveira.

The following are among the standard modules of the CAMILA distribution package:

• ff.tgz - a CAMILA library for finite mappings
• ffs.tgz - a CAMILA library for sets of finite mappings
• int.tgz - a CAMILA library for small integers (-32768..32767)
• mon.tgz - a basic CAMILA monoidal constructions
• mse.tgz - a CAMILA library for multisets
• seq.tgz - a CAMILA library for the A-seq functor
• str.tgz - a CAMILA library for the finite string STR data type
• tex.tgz - a CAMILA abstract syntax for a LaTeX subset
• txt.tgz - a CAMILA library for text representation

And this is a small example of how to use these modules.