4469 search results - page 191 / 894 » Dynamic Program Slicing |
165
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
144
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
162
click to vote
CSMR
2005
IEEE
16 years 3 hour ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...
154
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
147
Voted
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...