Termination Analysis of C Programs Using Compiler Intermediate Languages

Stephan Falke; Deepak Kapur; Carsten Sinz

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Termination Analysis of C Programs Using Compiler Intermediate Languages

【24h】

Termination Analysis of C Programs Using Compiler Intermediate Languages

机译：使用编译器中间语言的C程序终止分析

获取原文

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

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

摘要

Modeling the semantics of programming languages like C for the automated termination analysis of programs is a challenge if complete coverage of all language features should be achieved. On the other hand, low-level intermediate languages that occur durin

机译：如果应该完全覆盖所有语言功能，那么对诸如C之类的编程语言的语义进行建模以进行程序的自动终止分析将是一个挑战。另一方面，发生在durin的低级中间语言

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2011年第1期|共10页
作者
Stephan Falke; Deepak Kapur; Carsten Sinz;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages [J] . Anderson Faustino da Silva, Vitor Santos Costa Journal of Universal Computer Science . 2006,第7期

机译：YAP编译器的设计：用于逻辑编程语言的优化编译器
2. PLCC: a programming language compiler compiler [J] . W. M. Waite Computing reviews . 2014,第6期

机译：PLCC：一种编程语言编译器
3. DESIGNING OF MICROCONTROLLER 8051 BASED LEARNING MEDIA OF CONTROL BY USING THE MCU 8051 IDE AND C PROGRAMMING LANGUAGE WITH A C-COMPILER OF SDCC-SMALL DEVICE C COMPILER TO SUPPORT THE IMPLEMENTATION OF ACTIVE LEARNING IN HIGHER EDUCATION-ALFHE (ACTIVE LEARNING FOR HIGHER EDUCATION) [J] . DAHLAN RP SITOMPUL, LINCE TOMORIA SIANTURI International Journal of Electronics Communication and Instrumentation Engineering Research and Development . 2014,第2期

机译：通过使用MCU 8051 IDE和C编程语言以及SDCC小型设备C编译器的C编译器设计基于微控制器8051的控制学习媒体，以支持在高等院校（主动学习）中实现主动学习
4. Direct microprogrammed execution of the intermediate text from a high-level language compiler [C] . Francois Robert Broca, Richard E. Merwin Proceedings of the meeting on SIGPLAN/SIGMICRO interface . 1973

机译：通过高级语言编译器直接对中间文本进行微编程执行
5. The Design of Intermediate Languages in Optimizing Compilers [D] . Maurer, Luke Van Wyck. 2018

机译：优化编译器中的中间语言设计
6. Bellman’s GAP—a language and compiler for dynamic programming in sequence analysis [O] . Georg Sauthoff, Mathias Möhl, Stefan Janssen, -1

机译：Bellman的GAP-一种用于序列分析中动态编程的语言和编译器
7. Termination Analysis of C Programs Using Compiler Intermediate Languages [O] . Falke Stephan, Kapur Deepak, Sinz Carsten 2011

机译：使用编译器中间语的C程序终止分析
8. Collection of Papers: Bridging the Gulf: A Common Intermediate Language for MLand Haskell; From Interpreter to Compiler Using Staging and Monads; Multi-State Programming: Axiomatization and Type Safety; The Anatomy of a Component Generator; Optimizing ML [R] . 1998

机译：论文集：弥合海湾：mLand Haskell的通用中间语言;从Interpreter到Compiler使用staging和monads;多州规划：公理化和类型安全;组件生成器的剖析;优化mL

Termination Analysis of C Programs Using Compiler Intermediate Languages

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅