Sciweavers

14 search results - page 1 / 3

» scam 2003

25

SCAM
2003
IEEE

83views Software Engineering» more SCAM 2003»

Static Slicing of Reactive Programs

14 years 22 days ago

Static Slicing of Reactive Programs

Download www.cse.iitb.ac.in

Aditya Rajeev Kulkarni, S. Ramesh

claim paper

Read More »

26

SCAM
2003
IEEE

79views Software Engineering» more SCAM 2003»

Interprocedural Static Slicing of Binary Executables

14 years 22 days ago

Interprocedural Static Slicing of Binary Executables

Download www.inf.u-szeged.hu

Ákos Kiss, Judit Jász, Gábor ...

claim paper

Read More »

15

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

14 years 22 days ago

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

20

SCAM
2003
IEEE

106views Software Engineering» more SCAM 2003»

Slicing the SCAM Mug: A Case Study in Semantic Slicing

14 years 22 days ago

Slicing the SCAM Mug: A Case Study in Semantic Slicing

Download www.cse.dmu.ac.uk

In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...

Martin P. Ward

claim paper

Read More »

20

SCAM
2003
IEEE

158views Software Engineering» more SCAM 2003»

Barrier Slicing and Chopping

14 years 22 days ago

Barrier Slicing and Chopping

Download www.dcs.kcl.ac.uk

One of the critiques on program slicing is that slices presented to the user are hard to understand. This is partly due to bad user interfaces, but mainly related to the problem t...

Jens Krinke

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »