Semantics-Directed Program Analysis: a Tool-Maker's Perspective (1996)
| Venue: | In Proc. SAS96 |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Nielson96semantics-directedprogram,
author = {Flemming Nielson},
title = {Semantics-Directed Program Analysis: a Tool-Maker's Perspective},
booktitle = {In Proc. SAS96},
year = {1996},
pages = {2--21},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Developing a tool kit for program analysis requires a general metalanguage (or user interface) in which to specify the program analyses, and many past and current approaches are semantics-directed in the sense that they attempt to exploit the structure of the semantics of the program. In this paper we take a tool-maker's perspective at an approach based on two-level semantics, focusing on the flexible way to incorporate and combine a repertoire of program analyses. We conclude by identifying a number of key considerations for the design of semantics-directed frameworks or tool kits for program analysis. Keywords. Program Analysis, Abstract Interpretation, Denotational Semantics, Two-Level Metalanguages, Tools for Program Analysis. 1 Introduction The predominant use of program analysis is to enable compilers to generate better code: to supply information about the context in order to generate more specialised code or in order to validate program transformations. While this is by no ...
