225 search results - page 3 / 45 » Fast Points-to Analysis for Languages with Structured Types |
WCRE
2005
IEEE
13 years 11 months ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
NAACL
2007
13 years 7 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
PLDI
1998
ACM
13 years 10 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
ENTCS
2008
13 years 6 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
FPCA
1995
13 years 9 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...