Sciweavers

773 search results - page 12 / 155
» Program Slicing by Calculation
Sort
View
NJC
2006
88views more  NJC 2006»
13 years 10 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
ESOP
2003
Springer
14 years 4 months ago
Type Error Slicing in Implicitly Typed Higher-Order Languages
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
Christian Haack, J. B. Wells
BILDMED
2009
179views Algorithms» more  BILDMED 2009»
14 years 11 hour ago
Interpolation of Histological Slices by Means of Non-rigid Registration
It is a common approach to create and inspect histological slices to investigate functional and morphological structures on a cellular level. For the easier analysis of the resulti...
Simone Gaffling, Florian Jäger, Volker Daum, ...
ISSTA
2009
ACM
14 years 5 months ago
Memory slicing
Traditional dynamic program slicing techniques are code-centric, meaning dependences are introduced between executed statement instances, which gives rise to various problems such...
Bin Xin, Xiangyu Zhang
ACISICIS
2007
IEEE
14 years 5 months ago
Slicing Aided Design of Obfuscating Transforms
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...
Stephen Drape, Anirban Majumdar, Clark D. Thombors...