106 search results - page 3 / 22 » Slicing Abstractions |
SPE
2008
13 years 6 months ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
ENTCS
2002
13 years 6 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
FAC
2008
13 years 6 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
ACISICIS
2007
IEEE
14 years 18 days ago
2007
IEEE
Abstract—An obfuscation aims to transform a program, without affecting its functionality, so that some secret information within the program can be hidden for as long as possible...
JOT
2006
13 years 6 months ago
2006
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...