Sciweavers

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

11

TIC
1998
Springer

favoriteEmaildiscussreport

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

13 years 8 months ago

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

Download www.cs.umd.edu

Alexander Aiken, Manuel Fähndrich, Jeffrey S.

Real-time Traffic

System Software | TIC 1998 |

claim paper

Related Content

» Banshee A Scalable ConstraintBased Analysis Toolkit

» Inference of Session Types From Control Flow

» GEC A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

» Extracting a Data Flow Analyser in Constructive Logic

» Polyvariant flow analysis with higherranked polymorphic types and higherorder effect opera...

» Automatic Generation of Editors for HigherOrder Data Structures

» Building Certified Static Analysers by Modular Construction of Wellfounded Lattices

» A Graphically Based Language for Constructing Executing and Analysing Models of Software S...

» Impact analysis and visualization toolkit for static crosscutting in AspectJ

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1998
Where	TIC
Authors	Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su

Comments (0)