Trusted Source Translation of a Total Function Language

机译：全功能语言的可信源翻译

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a trusted source translator that transforms total functions defined in the specification language of the HOL theorem prover to simple intermediate code. This translator eliminates polymorphism by code specification, removes higher-order functions through closure conversion, interprets pattern matching as conditional expressions, etc. The target intermediate language can be further translated by proof to a simple imperative language. Each transformation is proven to be correct automatically. The formalization, implementation and mechanical verification of all transformations are done in HOL-4.

机译：我们提供了一种可信赖的源代码转换器，它将HOL定理证明者的规范语言中定义的全部功能转换为简单的中间代码。该转换器通过代码规范消除多态性，通过闭包转换消除高阶函数，将模式匹配解释为条件表达式等。可以通过证明将目标中间语言进一步翻译为简单的命令式语言。每次转换都被证明自动正确。所有转换的形式化，实施和机械验证均在HOL-4中完成。

著录项

来源
《Tools and Algorithms for the Construction and Analysis of Systems》|2008年|P.471-485|共15页
会议地点 Budapest(HU);Budapest(HU);Budapest(HU);Budapest(HU)
作者
Guodong Li; Konrad Slind;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类设计与性能分析;
关键词

相似文献

外文文献
中文文献
专利

1. Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations [J] . Manfred Schmidt-Schauß, David Sabel Science of Computer Programming . 2017,第nova1期

机译：按需调用的功能核心语言的改进：通用子表达式消除和资源保留翻译
2. Improving Statistical Machine Translation for a Resource-Poor Language Using Related Resource-Rich Languages [J] . Nakov P., Ng H. T. The Journal of Artificial Intelligence Research . 2012,第4期

机译：使用相关的资源丰富的语言改善资源贫乏的语言的统计机器翻译
3. Improving Statistical Machine Translation for a Resource-Poor Language Using Related Resource-Rich Languages [J] . Preslav Nakov, Hwee Tou Ng The Journal of Artificial Intelligence Research . 2012,第Null期

机译：使用相关的资源丰富的语言改善资源贫乏的语言的统计机器翻译
4. Trusted Source Translation of a Total Function Language [C] . Guodong Li, Konrad Slind International Conference on Tools and Algorithms for the Construction and Analysis of Systems . 2008

机译：可信源语言的可信源翻译
5. THEME AND FOCUS: CROSS-LANGUAGE COMPARISON VIA TRANSLATIONS FROM EXTENDED DISCOURSE. (VOLUMES I AND II) (FUNCTIONALISM, TRAVNICEK, BRAZILIAN PORTUGUESE, SYSTEMIC LINGUISTICS, HALLIDAY). [D] . DE VASCONCELLOS, MURIEL HABEL. 1985

机译：主题和重点：通过扩展的话语翻译进行跨语言比较。（第一和第二卷）（功能主义，特拉维尼科，巴西葡萄牙语，系统语言学，哈利达）。
6. Providing Health Messages to Hispanics/Latinos: Understanding the Importance of Language Trust in Health Information Sources and Media Use [O] . Marla L. Clayman, Jennifer A. Manganello, K. Viswanath, -1

机译：提供健康信息西班牙裔/拉美裔：语言理解信任的健康信息来源以及媒体使用的重要性
7. Trusted source translation of a total function language [O] . Guodong Li, Konrad Slind 2008

机译：全功能语言的可信源翻译
8. Linguistic-Core Approach to Structured Translation and Analysis of Low-Resource Languages. [R] . Carbonell, J., Levin, L., Smith, N., 2017

机译：结构化翻译的语言核心方法与低资源语言分析。

Trusted Source Translation of a Total Function Language

摘要

著录项

相似文献

相关主题

期刊订阅