4211 search results - page 36 / 843 » Types as Abstract Interpretations |
135
click to vote
ISAAC
2010
Springer
15 years 1 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...
135
Voted
TASE
2008
IEEE
15 years 9 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...
128
click to vote
EACL
1993
ACL Anthology
15 years 4 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...
120
Voted
LICS
2009
IEEE
15 years 10 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 9 months ago
2008
IEEE
