Search Sciweavers | Sciweavers

4722 search results - page 113 / 945

» Representation-independent program analysis

click to vote

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

Software Metrics in Static Program Analysis

13 years 7 months ago

Download www4.in.tum.de

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...

claim paper

Read More »

click to vote

IWPC
2010
IEEE

120views Software Engineering» more IWPC 2010»

Utilizing Web Search Engines for Program Analysis

13 years 7 months ago

Download icpc2010.di.uminho.pt

Daniel Ratiu, Lars Heinemann

claim paper

Read More »

click to vote

JOT
2010

70views more JOT 2010»

How AspectJ is Used: An Analysis of Eleven AspectJ Programs

13 years 7 months ago

Download www.infosun.fim.uni-passau.de

Sven Apel

claim paper

Read More »

click to vote

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

13 years 7 months ago

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers