4469 search results - page 191 / 894 » Dynamic Program Slicing |
MICRO
2000
IEEE
14 years 13 days 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...
ICFP
2001
ACM
14 years 8 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 ...
CSMR
2005
IEEE
14 years 1 months 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...
HASKELL
2005
ACM
14 years 1 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...
CADE
2008
Springer
14 years 8 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...