Control flow analysis for the π-calculus

1998 ◽  
pp. 84-98 ◽  
Author(s):  
Chiara Bodei ◽  
Pierpaolo Degano ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Π Calculus ◽  
Control Flow Analysis

A control-flow analysis for a calculus of concurrent objects

2000 ◽  
Vol 26 (7) ◽  
pp. 617-634 ◽  
Author(s):  
P. di Blasio ◽  
K. Fisher ◽  
C. Talcott
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Concurrent Objects ◽  
Control Flow Analysis

scholarly journals Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation

2001 ◽  
Vol 8 (54) ◽  
Author(s):  
Daniel Damian ◽  
Olivier Danvy
Keyword(s):  
Program Analysis ◽  
Partial Evaluation ◽  
Flow Analysis ◽  
Control Flow ◽  
Time Analysis ◽  
Binding Time ◽  
The Impact ◽  
Positive Effect ◽  
Binding Time Analysis ◽  
Control Flow Analysis

We show that a non-duplicating transformation into continuation-passing style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for traditional partial evaluation, and no effect on binding-time analysis for continuation-based partial evaluation: a monovariant control-flow analysis yields equivalent results on a direct-style program and on its CPS counterpart, a monovariant binding-time analysis yields less precise results on a direct-style program than on its CPS counterpart, and an enhanced monovariant binding-time analysis yields equivalent results on a direct-style program and on its CPS counterpart. Our proof technique amounts to constructing the CPS counterpart of flow information and of binding times.<br /> <br />Our results formalize and confirm a folklore theorem about traditional binding-time analysis, namely that CPS has a positive effect on binding times. What may be more surprising is that the benefit does not arise from a standard refinement of program analysis, as, for instance, duplicating continuations.<br /> <br />The present study is symptomatic of an unsettling property of program analyses: their quality is unpredictably vulnerable to syntactic accidents in source programs, i.e., to the way these programs are written. More reliable program analyses require a better understanding of the effect of syntactic change.

scholarly journals Control Flow Analysis for Brane Calculi

2009 ◽  
Vol 227 ◽  
pp. 59-75
Author(s):  
Chiara Bodei ◽  
Andrea Bracciali ◽  
Davide Chiarugi
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Brane Calculi ◽  
Control Flow Analysis
Sign in / Sign up

Export Citation Format

Share Document