Efficient incremental run-time specialization for free (1999)

by Renaud Marlet , Charles Consel , Philippe Boinot
Venue:IN PROC. OF THE SIGPLAN '99 CONF. ON PROGRAM LANGUAGE DESIGN AND IMPLEMENTATION
Citations:46 - 4 self

Active Bibliography

Efficient Incremental Run-Time Specialization for Free – Renaud Marlet Charles, Charles Consel
From Set Based to Multiset Based Analysis: A practical approach – Jean-Louis Colaço, Marc Pantel - 1998
2 Improving Type-Error Messages in Functional Languages – Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer - 2002
1 Integrating tools for practical software analysis – Aaron R. Bradley, Henny B. Sipma, Sarah Solter, Zohar Manna - 2004
Context Sensitivity for Points-to Analysis Using Annotated Inclusion Constraints – Ana Milanova, Barbara G. Ryder
7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
Inference Rules Plus Proof-Search Strategies Equals Programs – Kevin Redwine, Kevin Redwine - 2009
4 Annotated Inclusion Constraints for Precise Flow Analysis – Ana Milanova Department, Ana Milanova
Languages, Verification – unknown authors
Languages, Verification – unknown authors
Ultra-fast Aliasin9 Analysis using CLA: A Million Lines – Nevin Heintze, Olivier Tardieu
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
32 Type-Indexed Rows – Mark Shields, Erik Meijer - 2001
33 Imperative program transformation by rewriting – David Lacey, Oege De Moor - 2001
18 Points-To for Java: A General Framework and an Empirical Comparison – Mirko Streckenbach, Gregor Snelting - 2000
42 Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs – Zhendong Su, Manuel Fähndrich, Alexander Aiken - 2000
47 Off-line Variable Substitution for Scaling Points-to Analysis – Atanas Rountev, Satish Chandra - 2000
9 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
2 Specification and Security Analysis of Mobile Ad-Hoc Networks – Sebastian Nanz - 2006
2 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith