62 search results - page 12 / 13 » ENFORCe: A System for Ensuring Formal Correctness of High-le... |
FMLDO
1999
Springer
13 years 12 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
A number of Inductive Logic Programming (ILP) systems have addressed the problem of learning First Order Logic (FOL) discriminant definitions by first reformulating the FOL lear...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...