Building certified components within FOCAL

Catherine Dubois, Th\'er\`ese Hardin, V\'eronique Vigui\'e Donzeau Gouge

To appear at Symposium on Trends in Functional Programming (TFP04), Munich, Germany, 25-26 November, 2004


Abstract

The FOCAL environment is a framework dedicated to the complete development of certified components, from the specification stage to the implementation one. FOCAL incorporates features such as inheritance, abstraction, late binding and redefinition. The paper gives an overview of the conception of the language and presents the language itself and the associated tools.


Server START Conference Manager
Update Time 11 Mar 2005 at 20:15:19
Maintainer hwloidl@tcs.informatik.uni-muenchen.de.
Start Conference Manager
Conference Systems