5451 search results - page 286 / 1091 » Typed Operational Semantics |
131
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...
159
Voted
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
146
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
138
Voted
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
116
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...