Goncharov，S.V.公司。;A.Ye Rudich。 将代数程序转换为可执行代码。 （英语。俄文原件） Zbl 1103.68448号 赛博。系统。分析。 41，第5期，775-782（2005）; 翻译自Kibern。修女。分析。2005年，第5期，168-176（2005）。 摘要：提出了一种将代数程序转换为可执行代码的方法。特别地，提出了一种将Aplan语言中的代数程序转换为C代码的算法。考虑了Aplan中类型的重建算法，该算法还检查代码中不存在用于动态指定过程的特征。 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 2012年第68季度 语法和重写系统 关键词：代数程序设计;元编程;类型的重建;项重写;重写策略 软件：西洋陆军棋;辅助电源;APS-1型;ATERM公司 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Goncharov}和\textit{A.Ye.Rudich}，Cybern。系统。分析。41，第5号，775--782（2005；Zbl 1103.68448）；翻译自Kibern。修女。分析。2005年，第5期，168--176（2005） 全文： 内政部 参考文献： [1] V.M.Glushkov、V.G.Bodnarchuk、T.A.Grinchenko、A.A.Dorodnitsina、V.P.Klimenko、A.A.Letichevsky、S.B.Pogrebinskii、A.A.Stognii和Yu。S.Fishman，“ANALITIK（使用分析变换描述算法过程的算法语言）”，Kibernetika，第3期，102–134（1971）。 [2] V.M.Glushkov，Yu。V.Kapitonova和A.A.Letichevsky，计算机辅助设计（俄语），基辅Naukova Dumka（1975）。 [3] 于。V.Kapitonova和A.A.Letichevsky，“编程的基本范式”，Kibern。修女。分析。，第6期，第3-21页（1994年）·Zbl 0837.68011号 [4] A.A.Letichevsky、J.V.Kapitonova和S.V.Konozenko，“APS中的计算”，Theor。公司。科学。，第119、145–171号（1993年）·Zbl 0783.68064号 [5] J.W.Klop，“术语重写系统”，《逻辑比较手册》。科学。，2, 1–116 (1992). [6] M.G.J.van den Brand、H.A.de Jong、P.Klint和P.A.Olivier，“高效注释术语”，《软件、实践与经验》，第30（3）期，259–291页（2000年）。 [7] E.Visser，“Stratego/XT的程序转换：StrategoXT-0.9中的规则、策略、工具和系统”，Lect。票据构成。科学。，3016, 216–238 (2004). ·doi:10.1007/978-3-540-25935-0_13 [8] E.Visser，“基于规则的程序转换系统中的策略调查”，J.Symbol。计算。，40(1), 831–873 (2005). ·Zbl 1129.68043号 ·doi:10.1016/j.jsc.2004.12.011 [9] L.Damas和R.Milner，“功能程序的主要类型模式”，收录于：Conf.Record Ann.9th ACM Symp。《编程语言原理》，阿尔伯克基（新墨西哥州）（1982年），第207-212页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。