Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

AGP
1999
IEEE

favoriteEmaildiscussreport

98views Artificial Intelligence» more AGP 1999»

Freeness Analysis through Linear Refinement

13 years 8 months ago

Freeness Analysis through Linear Refinement

Download www.springer.com

Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refinement . . . . . . . . . . . . . . . . . . . . . . . . . 85 Patricia Hill, Fausto Spoto Binary Decision Graphs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 Laurent Mauborgne Binding-Time Analysis for Both Static and Dynamic Expressions . . . . . . . . 117 Kenichi Asai Concurrency Interpretation of Mobile Ambients . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 Ren

Patricia M. Hill, Fausto Spoto

Real-time Traffic

AGP 1999 | Artificial Intelligence | Bagnara Freeness Analysis | Hanne Riis Nielson | Kenichi Asai Concurrency |

claim paper

Related Content

» Enhanced sharing analysis techniques a comprehensive evaluation

» Enhancing Sharing for Precision

» Formal analysis of piecewise affine systems through formulaguided refinement

» Using Linear Temporal Model Checking for GoalOriented Policy Refinement Frameworks

» A LQR spatiotemporal fusion technique for face profile collection in smart camera surveill...

» Predicting biological system objectives de novo from internal state measurements

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	1999
Where	AGP
Authors	Patricia M. Hill, Fausto Spoto

Comments (0)