1189 search results - page 100 / 238 » The Quotient of an Abstract Interpretation |
110
click to vote
APLAS
2010
ACM
15 years 28 days ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
77
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Abstract--Recent result shows how to compute distributively and efficiently the linear MMSE for the multiuser detection problem, using the Gaussian BP algorithm. In the current wor...
CORR
2006
Springer
15 years 22 days ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
92
Voted
CORR
2007
Springer
15 years 21 days ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
JOLLI
2006
15 years 20 days ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...