Search Sciweavers | Sciweavers

4211 search results - page 20 / 843

» Types as Abstract Interpretations

106

click to vote

ICFP
2006
ACM

116views Programming Languages» more ICFP 2006»

Towards an automatic complexity analysis for generic programs

16 years 1 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 »

172

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

16 years 2 months ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

182

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 2 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

113

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

15 years 9 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

104

Voted

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers