Search Sciweavers | Sciweavers

785 search results - page 9 / 157

» Static Analysis of Android Programs

click to vote

SAS
1992
Springer

171views Formal Methods» more SAS 1992»

Static Analysis of CLP Programs over Numeric Domains

14 years 1 months ago

Download www.cs.unipr.it

Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

claim paper

Read More »

click to vote

ENTCS
2010

98views more ENTCS 2010»

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

13 years 7 months ago

Download www.lix.polytechnique.fr

nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St

Eric Goubault, Stéphane Le Roux, Jeremy Lec...

claim paper

Read More »

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

14 years 4 months ago

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

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

14 years 3 months ago

Download www.cse.iitb.ac.in

Uday P. Khedker

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

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers