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...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 31, 1 (2006).
Tác giả chính:	Privat, Jean
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Software. Software engineering. Coding tools and techniques. Object oriented programming. Software / Program Verification. Programming languages. Processors. Algorithms. Design. Theory. Verification.