Search Sciweavers | Sciweavers

1535 search results - page 2 / 307

» Lazy Shape Analysis

click to vote

SAS
2010
Springer

139views Formal Methods» more SAS 2010»

Interprocedural Analysis with Lazy Propagation

13 years 6 months ago

Download cs.au.dk

We propose lazy propagation as a technique for ﬂow- and context-sensitive interprocedural analysis of programs with objects and ﬁrst-class functions where transfer functions ma...

Simon Holm Jensen, Anders Møller, Peter Thi...

claim paper

Read More »

click to vote

SAS
1994
Springer

104views Formal Methods» more SAS 1994»

Strictness and Totality Analysis

13 years 12 months ago

Download www.cs.ucla.edu

We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...

Kirsten Lackner Solberg

claim paper

Read More »

click to vote

SCAM
2009
IEEE

123views Software Engineering» more SCAM 2009»

Improving Side-Effect Analysis with Lazy Access Path Resolving

14 years 2 months ago

Download www.dcs.kcl.ac.uk

Ju Qian, Yuming Zhou, Baowen Xu

claim paper

Read More »