237 search results - page 30 / 48 » Modular Monad Transformers |
150
click to vote
JLP
2010
15 years 6 days ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
156
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
192
click to vote
CTRSA
2011
Springer
14 years 9 months ago
2011
Springer
Non-malleability of a cryptographic primitive is a fundamental security property which ensures some sort of independence of cryptographic values. The notion has been extensively st...
152
click to vote
MOMPES
2008
IEEE
15 years 11 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
153
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...