Sciweavers

773 search results - page 12 / 155
» Program Slicing by Calculation
Sort
View
NJC
2006
88views more  NJC 2006»
15 years 4 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...
115
Voted
ESOP
2003
Springer
15 years 10 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
166
Voted
BILDMED
2009
179views Algorithms» more  BILDMED 2009»
15 years 6 months 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
15 years 11 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
15 years 11 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...