The Tecton Concept Library

DSpace Repositorium (Manakin basiert)

The Tecton Concept Library

Musser, David R.; Schupp, Sibylle; Schwarzweller, Christoph; Loos, Rüdiger
Dateien:
Thumbnail
242. KB
PDF
Zitierfähiger Link (URI): http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-12056
http://hdl.handle.net/10900/48592
Dokumentart: Verschiedenartige Texte
Erscheinungsdatum: 1999
Originalveröffentlichung: WSI ; 1999 ; 2
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Sonstige - Informations- und Kognitionswissenschaften
DDC-Klassifikation: 004 - Informatik
Schlagworte: Tübingen / Wilhelm-Schickard-Institut für Informatik
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_ubt-nopod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_ubt-nopod.php?la=en
Zur Langanzeige

Abstract:

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.

Das Dokument erscheint in: