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!
Abstract 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]
AbstractList 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.
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]
Author Goncharov, S. V.
Rudich, A. Ye
Author_xml – sequence: 1
  givenname: S. V.
  surname: Goncharov
  fullname: Goncharov, S. V.
– sequence: 2
  givenname: A. Ye
  surname: Rudich
  fullname: Rudich, A. Ye
BookMark eNpdkEtLAzEUhYNUsFZ_gLvBhbvozXMmy1LqAwq6qOuQmbkpU6aTmsyA_ntT6srF4Z7Fx-XwXZPZEAYk5I7BIwMonxIDpQwF0DlMUn1B5kyVglZClLPcQQMFYfQVuU5pDwACympOym10Q-rd2IWhCL5Y9juso-ua4iOGXXSHVHTDGIr1NzbT6Ooei1VoMd2QS-_6hLd_d0E-n9fb1SvdvL-8rZYb2nClRuo1922NiKaWaEAq2eZBTtUKORccvJKNrLAyzHnTcqa856U2rGlljdIYsSAP57_HGL4mTKM9dKnBvncDhilZIY3UYMoM3v8D92GKQ95mOdOKAeNVhtgZamJIKaK3x9gdXPyxDOzJoz17tNmjPXm0WvwC8zdmMg
Cites_doi 10.1002/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y
10.1093/logcom/2.1.1
10.1007/978-3-540-25935-0_13
10.1016/j.jsc.2004.12.011
10.1145/582153.582176
ContentType Journal Article
Copyright Springer Science+Business Media, Inc. 2005
Copyright_xml – notice: Springer Science+Business Media, Inc. 2005
DBID AAYXX
CITATION
3V.
7WY
7WZ
7XB
87Z
8AL
8AO
8FE
8FG
8FK
8FL
ABJCF
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BEZIV
BGLVJ
CCPQU
DWQXO
FRNLG
F~G
GNUQQ
HCIFZ
JQ2
K60
K6~
K7-
L.-
L6V
M0C
M0N
M7S
P5Z
P62
PHGZM
PHGZT
PKEHL
PQBIZ
PQBZA
PQEST
PQGLB
PQQKQ
PQUKI
PTHSS
PYYUZ
Q9U
S0W
7SC
8FD
H8D
L7M
L~C
L~D
DOI 10.1007/s10559-006-0014-6
DatabaseName CrossRef
ProQuest Central (Corporate)
ABI/INFORM Collection
ABI/INFORM Global (PDF only)
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Computing Database (Alumni Edition)
ProQuest Pharma Collection
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Business Premium Collection
ProQuest Technology Collection
ProQuest One
ProQuest Central
Business Premium Collection (Alumni)
ABI/INFORM Global (Corporate)
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Global
Computing Database
Engineering Database
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Business
ProQuest One Business (Alumni)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
Engineering Collection
ABI/INFORM Collection China
ProQuest Central Basic
DELNET Engineering & Technology Collection
Computer and Information Systems Abstracts
Technology Research Database
Aerospace Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
ABI/INFORM Global (Corporate)
ProQuest Business Collection (Alumni Edition)
ProQuest One Business
Computer Science Database
ProQuest Central Student
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Pharma Collection
ABI/INFORM Complete
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Central (New)
ABI/INFORM Complete (Alumni Edition)
Engineering Collection
Advanced Technologies & Aerospace Collection
Business Premium Collection
ABI/INFORM Global
ProQuest Computing
Engineering Database
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ABI/INFORM China
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Business Collection
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest DELNET Engineering and Technology Collection
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
Business Premium Collection (Alumni)
Aerospace Database
Technology Research Database
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList Aerospace Database
ABI/INFORM Global (Corporate)
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Sciences (General)
EISSN 1573-8337
EndPage 782
ExternalDocumentID 978180161
10_1007_s10559_006_0014_6
Genre Feature
GroupedDBID -Y2
-~C
.4S
.86
.DC
.VR
06D
0R~
0VY
1N0
1SB
2.D
28-
29F
2J2
2JN
2JY
2KG
2LR
2P1
2VQ
2~H
30V
4.4
406
408
409
40D
40E
5GY
5QI
5VS
642
67Z
6NX
7WY
8AO
8FE
8FG
8FL
8FW
8UJ
95-
95.
95~
96X
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AAPKM
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYXX
ABAKF
ABBBX
ABBRH
ABBXA
ABDBE
ABDZT
ABECU
ABFSG
ABFTD
ABFTV
ABHLI
ABHQN
ABJCF
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABRTQ
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABUWG
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACSTC
ACZOJ
ADHHG
ADHIR
ADHKG
ADIMF
ADKFA
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEBTG
AEFIE
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEKMD
AEMSY
AEOHA
AEPYU
AETLH
AEVLU
AEXYK
AEZWR
AFBBN
AFDZB
AFEXP
AFFHD
AFFNX
AFGCZ
AFHIU
AFKRA
AFLOW
AFOHR
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGGDS
AGJBK
AGMZJ
AGQEE
AGQMX
AGQPQ
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHPBZ
AHSBF
AHWEU
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AIXLP
AJBLW
AJRNO
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARAPS
ARCSS
ARMRJ
ASPBG
ATHPR
AVWKF
AXYYD
AZFZN
AZQEC
B-.
BA0
BAPOH
BBWZM
BDATZ
BENPR
BEZIV
BGLVJ
BGNMA
BPHCQ
BSONS
CAG
CCPQU
CITATION
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
DU5
DWQXO
EBLON
EBS
EDO
EIOEI
EJD
ESBYG
F5P
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRNLG
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNUQQ
GNWQR
GQ7
GQ8
GROUPED_ABI_INFORM_RESEARCH
GXS
H13
HCIFZ
HF~
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
I-F
IAO
ICD
IHE
IJ-
IKXTQ
ISR
ITM
IWAJR
IXC
IZIGR
IZQ
I~X
I~Z
J-C
JBSCW
JCJTX
JZLTJ
K60
K6V
K6~
K7-
KDC
KOV
KOW
LAK
LLZTM
M0C
M4Y
M7S
MA-
MK~
N2Q
NB0
NDZJH
NPVJJ
NQJWS
NU0
O9-
O93
O9G
O9I
O9J
OAM
OVD
P19
P62
P9O
PF0
PHGZM
PHGZT
PQBIZ
PQBZA
PQGLB
PQQKQ
PROAC
PT4
PT5
PTHSS
Q2X
QOK
QOS
R89
R9I
RHV
RNI
RNS
ROL
RPX
RSV
RZC
RZE
RZK
S0W
S16
S1Z
S26
S27
S28
S3B
SAP
SCLPG
SDD
SDH
SDM
SHX
SISQX
SJYHP
SMT
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
T16
TEORI
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WH7
WK8
YLTOR
ZMTXR
ZWQNP
~A9
~EX
3V.
7XB
8AL
8FK
AAYZH
AESKC
JQ2
L.-
L6V
M0N
PKEHL
PQEST
PQUKI
PUEGO
Q9U
7SC
8FD
H8D
L7M
L~C
L~D
ID FETCH-LOGICAL-c255t-f62fdbeee9b4e90454d833a5b5e22320f54c48e891af9d215ff27691cd4be4993
IEDL.DBID M0C
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000217381000014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1060-0396
IngestDate Thu Oct 02 06:23:56 EDT 2025
Wed Sep 17 23:53:08 EDT 2025
Sat Nov 29 01:48:23 EST 2025
IsPeerReviewed true
IsScholarly true
Issue 5
Language English
License http://www.springer.com/tdm
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c255t-f62fdbeee9b4e90454d833a5b5e22320f54c48e891af9d215ff27691cd4be4993
Notes SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
PQID 216510128
PQPubID 48839
PageCount 8
ParticipantIDs proquest_miscellaneous_34946097
proquest_journals_216510128
crossref_primary_10_1007_s10559_006_0014_6
PublicationCentury 2000
PublicationDate 2005-9-00
20050901
PublicationDateYYYYMMDD 2005-09-01
PublicationDate_xml – month: 09
  year: 2005
  text: 2005-9-00
PublicationDecade 2000
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle Cybernetics and systems analysis
PublicationYear 2005
Publisher Springer Nature B.V
Publisher_xml – name: Springer Nature B.V
References 14_CR1
E. Visser (14_CR7) 2004; 3016
V. M. Glushkov (14_CR2) 1975
E. Visser (14_CR8) 2005; 40
14_CR9
J. W. Klop (14_CR5) 1992; 2
14_CR6
14_CR3
14_CR4
References_xml – ident: 14_CR6
  doi: 10.1002/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y
– volume: 2
  start-page: 1
  year: 1992
  ident: 14_CR5
  publication-title: Handbook Logic Comp. Sci.
  doi: 10.1093/logcom/2.1.1
– volume: 3016
  start-page: 216
  year: 2004
  ident: 14_CR7
  publication-title: Lect. Notes Comp. Sci.
  doi: 10.1007/978-3-540-25935-0_13
– volume-title: Computer-Aided Design of Computers
  year: 1975
  ident: 14_CR2
– ident: 14_CR1
– ident: 14_CR3
– ident: 14_CR4
– volume: 40
  start-page: 831
  issue: 1
  year: 2005
  ident: 14_CR8
  publication-title: J. Symbol. Comput.
  doi: 10.1016/j.jsc.2004.12.011
– ident: 14_CR9
  doi: 10.1145/582153.582176
SSID ssj0003078
Score 1.6041312
Snippet An approach to the problem of translation of algebraic programs into executable codes is presented. In particular, an algorithm for translation of algebraic...
SourceID proquest
crossref
SourceType Aggregation Database
Index Database
StartPage 775
SubjectTerms Algebra
Algorithms
C language
Codes
Computer programming
Cybernetics
Language
Semantics
Studies
Syntax
Title Translation of Algebraic Programs into Executable Codes
URI https://www.proquest.com/docview/216510128
https://www.proquest.com/docview/34946097
Volume 41
WOSCitedRecordID wos000217381000014&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: ABI/INFORM Collection
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 20191231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: 7WY
  dateStart: 20000901
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/abicomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ABI/INFORM Global
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 20191231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: M0C
  dateStart: 20000901
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/abiglobal
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 20191231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: P5Z
  dateStart: 20000901
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 20191231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: K7-
  dateStart: 20000901
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 20191231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: M7S
  dateStart: 20000901
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 20191231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: BENPR
  dateStart: 20000901
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVAVX
  databaseName: SpringerLink
  customDbUrl:
  eissn: 1573-8337
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0003078
  issn: 1060-0396
  databaseCode: RSV
  dateStart: 19970101
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9tAEB4V0gMXIC2IAA176KFFWrHxY9d7QjQKQipEUWghcLHWu2sUCdmAHcTP7469ScWll15GsqyVrNHsPDzffAPwlekcadRjqiwTrkDJ0A8KSVWghUkCIU2zreHmUozHyWwmJx6bU3lY5dInNo7alBr_kZ8EA47mEySnT88Ul0Zhc9Vv0FiDDiY2SJ1_xYYrR-zMt52E44yyUPJlU7OdnHOpNG3KaVckUP4-LL33yk2oOd_6z4_chk2fY5Kz1ii68MEWn6Drb3FFvnmq6e-fQTShqoXDkTInZ48P2EieazJpcVsVmRd1SUZvVi9qnLIiw9LYagd-n49-DS-oX6VAtasZaprzIDeZtVZmkZVIu2eSMFRxFluXHwQsjyMdJTaRA5VL49KAPA8ElwNtosy6oijchfWiLOweEKaV1jyLQoXZQCykiuwgUwbJ4VTCVA-Ol5pMn1rGjPQvNzKqPfVYuijlPThYKjL1l6dKV1rswdHqrbN6bGWowpaLKkVSHc6k2P_n-QPYaJhWG0jYIazXLwv7BT7q13pevfRhTdze9aHzYzSeTN3TT0H7jQGhFNdOTuJ7J6fXN38AfsvLNQ
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB58gV58i-v6yEFBhWA3bZPmILL4QHFd9qAiXmqapLIg7Wq7Pn6U_9GkjxUv3jx4Li20M_m-mc7MNwDbjoytjLqPhXaYSVAii4OMY0EkUwFhXBXbGm47rNsN7u54bww-61kY21ZZY2IB1CqV9h_5AWlR6z4kOBo8Y7s0yhZX6w0apVdc6o83k7Flhxcnxrw7hJydXh-f42qpAJYmes5xTEmsIq01jzzNrQCdClxX-JGvDVMSJ_Y96QU64C0Rc2UIMY4Jo7wllRdpkx645rnjMGmiCG5xoOffj4DfHJdy8o462HE5rYuo5aSeCd1xkb6bpATTnzT4kwUKajub-2cfZR5mqxgatUunX4AxnSzCQoVSGdqtpLT3loAVVFy2-6E0Ru2nR1so70vUK_vSMtRP8hSdvms5zO0UGTpOlc6W4eZPXmAFJpI00auAHCmkpJHnChvt-IwLT7cioaz4nQgc0YD92nLhoFQECb-1n62Zw6pX0AtpA5q14cIKHLJwZLUGbI2umlNtSzUi0ekwC61oEHU4W_v1_i2YPr--6oSdi-5lE2YKVdmi_W0dJvKXod6AKfma97OXzcJRETz8tRN8AY9OIng
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Translation+of+Algebraic+Programs+into+Executable+Codes&rft.jtitle=Cybernetics+and+systems+analysis&rft.au=Goncharov%2C+S+V&rft.au=A.+Ye.+Rudich&rft.date=2005-09-01&rft.pub=Springer+Nature+B.V&rft.issn=1060-0396&rft.eissn=1573-8337&rft.volume=41&rft.issue=5&rft.spage=775&rft_id=info:doi/10.1007%2Fs10559-006-0014-6&rft.externalDocID=978180161
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1060-0396&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1060-0396&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1060-0396&client=summon