Control Flow Analysis for the Join Calculus

2012 ◽  
pp. 181-197 ◽  
Author(s):  
Peter Calvert ◽  
Alan Mycroft
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
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 CFA2: a Context-Free Approach to Control-Flow Analysis

2011 ◽  
Vol 7 (2) ◽  
Author(s):  
Dimitrios Vardoulakis ◽  
Olin Shivers
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Context Free ◽  
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

scholarly journals Checking security policies through an enhanced Control Flow Analysis

2005 ◽  
Vol 13 (1) ◽  
pp. 49-85 ◽  
Author(s):  
Chiara Bodei ◽  
Pierpaolo Degano ◽  
Corrado Priami
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Security Policies ◽  
Control Flow Analysis
Sign in / Sign up

Export Citation Format

Share Document