1278 search results - page 228 / 256 » On the Semantics of Logic Program Composition |
126
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
133
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
140
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
122
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
117
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...