Translation of Algebraic Programs into Executable Codes

An approach to the problem of translation of algebraic programs into executable codes is presented. In particular, an algorithm for translation of algebraic programs represented in the language Aplan into C codes is proposed. An algorithm of reconstruction of types in Aplan is considered that also c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis Jg. 41; H. 5; S. 775 - 782
Hauptverfasser: Goncharov, S. V., Rudich, A. Ye
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer Nature B.V 01.09.2005
Schlagworte:
Algebra
Algorithms
C language
Codes
Computer programming
Cybernetics
Language
Semantics
Studies
Syntax
ISSN:1060-0396, 1573-8337
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An approach to the problem of translation of algebraic programs into executable codes is presented. In particular, an algorithm for translation of algebraic programs represented in the language Aplan into C codes is proposed. An algorithm of reconstruction of types in Aplan is considered that also checks the absence of features used for dynamic specification of procedures in a code. [PUBLICATION ABSTRACT]
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-006-0014-6