CC
14 years 1 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
14 years 1 months ago
1994 Springer CC
14 years 1 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 ...
|