4469 search results - page 686 / 894 » Dynamic Program Slicing |
192
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
177
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
118
click to vote
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...