1911 search results - page 326 / 383 » Program analysis for code duplication in logic programs |
122
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
128
click to vote
CSCW
2006
ACM
15 years 3 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
144
click to vote
CASCON
2003
15 years 3 months ago
2003
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
136
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
126
click to vote
NJC
2000
15 years 1 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...