Search Sciweavers | Sciweavers

Interpretation interpretation is a theory of eﬀective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...

Patrick Cousot

claim paper

Read More »

103

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

15 years 10 months ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

15 years 8 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

151

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers