The Tecton Project

Tecton is a language and tool framework whose purpose is to foster structured development of computational systems (both hardware designs and software), using abstraction and specialization as the key structuring mechanisms. Most of the development of Tecton has been conducted jointly with Deepak Kapur and his group at The University at Albany, with support from the National Science Foundation.

If you have any questions or comments about any of these papers, please send e-mail to