CC
1994
Springer
13 years 8 months ago
1994
Springer
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
CC
1994
Springer
13 years 8 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
CC
1994
Springer
13 years 8 months ago
1994
Springer