367 search results - page 1 / 74 » Relating Full Abstraction Results for Different Programming ... |
11
Voted
FSTTCS
1990
Springer
13 years 9 months ago
1990
Springer
TACS
1994
Springer
13 years 9 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
POPL
2009
ACM
14 years 4 days ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...