2291 search results - page 287 / 459 » Logic Programming and Model Checking |
104
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
136
click to vote
FAC
2008
15 years 2 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...
104
click to vote
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
137
Voted
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
214
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...