143 search results - page 1 / 29 » Incremental Analysis of real Programming Languages |
PLDI
1997
ACM
13 years 8 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...
POPL
1994
ACM
13 years 8 months ago
1994
ACM
We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and dele...
DATE
2008
IEEE
13 years 10 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
TOOLS
1998
IEEE
13 years 8 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
POPL
2004
ACM
14 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...