4211 search results - page 147 / 843 » Types as Abstract Interpretations |
129
click to vote
COORDINATION
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
167
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
177
click to vote
RECOMB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We describe a probabilistic model, implemented as a dynamic Bayesian network, that can be used to predict nucleosome positioning along a chromosome based on one or more g...
125
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
130
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...