4211 search results - page 36 / 843 » Types as Abstract Interpretations |
100
click to vote
ISAAC
2010
Springer
14 years 9 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
