Abstract | ||
---|---|---|
During the past 25 years, programming language researchers have developed increasinglysophisticated techniques for statically analyzing program behavior. Thesetechniques have been widely used in optimizing compilers to infer program propertiessupporting code optimization, but they have had little impact on program developmentand maintenance. This paper explains how these techniques can be be used to perform arestricted form of program verification, namely the automatic proof of the... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1145/234528.234747 | ACM Comput. Surv. |
Keywords | Field | DocType |
program verification,soft typing,programming language,optimizing compiler,code optimization | Programming language,Computer science,Optimizing compiler,Program Design Language,High-level programming language,Typing,Program analysis | Journal |
Volume | Issue | ISSN |
28 | 2 | 0360-0300 |
Citations | PageRank | References |
6 | 0.83 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert Cartwright | 1 | 529 | 67.27 |
Matthias Felleisen | 2 | 3001 | 272.57 |