Link-time static analysis for efficient separate compilation of object-oriented languages.

Link-time static analysis for efficient separate compilation of object-oriented languages.

Compilers used in industry are mainly based on a separate compilation framework. However, the knowledge of the whole program improves efficiency of object-oriented language compilers, therefore more efficient implementation techniques are based on a global compilation framework.In this paper, we pro...

全面介绍

书目详细资料
发表在:Software engineering notes. 31, 1 (2006).
主要作者: Privat, Jean
格式: 文件
语言:English
主题:
Software.
Software engineering.
Coding tools and techniques.
Object oriented programming.
Software / Program Verification.
Programming languages.
Processors.
Algorithms.
Design.
Theory.
Verification.