Search Sciweavers | Sciweavers

106 search results - page 2 / 22

» Slicing Abstractions

125

click to vote

FASE
2009
Springer

147views Software Engineering» more FASE 2009»

Control Dependence for Extended Finite State Machines

15 years 9 months ago

Download tratt.net

Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...

Kelly Androutsopoulos, David Clark, Mark Harman, Z...

claim paper

Read More »

100

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 9 months ago

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

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

15 years 9 months ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

101

click to vote

FSEN
2007
Springer

91views Software Engineering» more FSEN 2007»

Slicing Abstractions

15 years 9 months ago

Download react.cs.uni-sb.de

Ingo Brückner, Klaus Dräger, Bernd Finkb...

claim paper

Read More »

click to vote

LDTA
2010

139views Programming Languages» more LDTA 2010»

Dependence condition graph for semantics-based abstract program slicing

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers