4211 search results - page 66 / 843 » Types as Abstract Interpretations |
125
Voted
TCS
2008
15 years 3 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
118
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
MSCS
2010
15 years 1 months ago
2010
tations of imperative abstract data types.
137
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
44
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
ndence fails. In the conclusion we address the question of an abstract criterion that explains the results.