Search Sciweavers | Sciweavers

4211 search results - page 20 / 843

» Types as Abstract Interpretations

116

Voted

ICFP
2006
ACM

116views Programming Languages» more ICFP 2006»

Towards an automatic complexity analysis for generic programs

16 years 3 months ago

Download www.osl.iu.edu

Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...

Kyle D. Ross

claim paper

Read More »

195

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

16 years 3 months ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

200

Voted

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 3 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

125

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

15 years 10 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

114

Voted

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers