The Tecton Concept Library

DSpace Repository


Dokumentart: Report
Date: 1999
Source: WSI ; 1999 ; 2
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Sonstige - Informations- und Kognitionswissenschaften
DDC Classifikation: 004 - Data processing and computer science
Keywords: Tübingen / Wilhelm-Schickard-Institut für Informatik
Show full item record


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.

This item appears in the following Collection(s)