Titlebook: Compiler Construction; 15th International C Alan Mycroft,Andreas Zeller Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006

深陷

inferno

預感

使習慣于

Using Dependent Types to Port Type Systems to Low-Level Languagese show how to express and check at the assembly level the invariants enforced by CCured, a source-level instrumentation tool that guarantees type safety in legacy C programs. Finally, we show that dependent types are a natural specification mechanism for enforcing common safe programming practices i

過于平凡

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointersparticularly in the presence of pointers. Instead, we compute def-use chains on the fly during the analysis, along with precise pointer information. When applied to large programs such as ., our techniques improve analysis time by up to 90%—from 1974s to 190s—over a state of the art algorithm.

GULF

Dysplasia

收藏品

Accurately Choosing Execution Runs for Software Fault Localization difference metric. A bug report is then generated by returning the difference between .. and ... We conduct detailed experiments to compare our approach with previously proposed difference metrics. In particular, we evaluate our approach in terms of (a) effectiveness of bug report for locating the

Epidural-Space

MEN

Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective 20%, which is mainly due to the enlarged memory footprint. To evaluate the performance potential of 64-bit x86 architectures, we designed and implemented the LP32 code model such that the sizes of . and . are 32 bits. Our experiments demonstrate that on average the LP32 code model speeds up the SPE