877 search results - page 11 / 176 » Full Abstraction for HOPLA |
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
TSD
2004
Springer
14 years 24 days ago
2004
Springer
NAR
2011
12 years 10 months ago
2011
UK PubMed Central (UKPMC) is a full-text article database that extends the functionality of the original PubMed Central (PMC) repository. The UKPMC project was launched as the fir...
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...