论文信息 - The Tecton Concept Library

The Tecton Concept Library

Tecton is an algebraic specification language. This report contains a considerable body of Tecton concepts which evolved over a long time. The concepts serve as a test bed for a Tecton translator and are a formal base for declarations occurring in algorithms from all areas of programming but in particular from computer algebra.

Sibylle Schupp | David R. Musser | Rüdiger Loos | Christoph Schwarzweller

[1] David R. Musser,et al. Tecton: A Framework for Specifying and Verifying Generic System Components , 1992 .

[2] Deepak Kapur,et al. An Overview of the Tecton Proof System , 1994, Theor. Comput. Sci..

[3] James J. Horning,et al. Report on the Larch Shared Language , 1986, Sci. Comput. Program..

[4] Sibylle Schupp. Generic programming - SUCHTHAT one can build an algebraic library , 1996 .

[5] Alexander A. Stepanov,et al. Tecton: A Language for Manipulating Generic Objects , 1981, Program Specification.

[6] Brian L. Meek. A taxonomy of datatypes , 1994, SIGP.