4469 search results - page 191 / 894 » Dynamic Program Slicing |
186
Voted
MICRO
2000
IEEE
15 years 11 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...
160
Voted
ICFP
2001
ACM
16 years 7 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 ...
173
Voted
CSMR
2005
IEEE
16 years 18 days 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...
166
Voted
HASKELL
2005
ACM
16 years 16 days 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...
176
click to vote
CADE
2008
Springer
16 years 7 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...