1448 search results - page 44 / 290 » Visualizing Program Slices |
150
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
136
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
136
click to vote
CIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. It is necessary to analyze an image from CT or MR and then to segment an image of a certain organ from that of other tissues for 3D (ThreeDimensional) visualization. Ther...
172
Voted
VL
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper, we show how visual programming can be used to teach binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating tree fra...
137
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...