Search Sciweavers | Sciweavers

4211 search results - page 20 / 843

» Types as Abstract Interpretations

click to vote

ICFP
2006
ACM

116views Programming Languages» more ICFP 2006»

Towards an automatic complexity analysis for generic programs

15 years 11 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 »

152

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

16 years 3 days ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

160

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 3 days ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

15 years 6 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

click to vote

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers