957 search results - page 89 / 192 » Modular Static Program Analysis |
113
click to vote
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
103
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
105
click to vote
ESOP
1990
Springer
15 years 6 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
115
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
131
click to vote
PLDI
1997
ACM
15 years 6 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...