14 search results - page 3 / 3 » Full abstraction for nominal general references |
116
click to vote
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We introduce a concept of similarity between vertices of directed graphs. Let GA and GB be two directed graphs with respectively nA and nB vertices. We define a nA × nB...
105
click to vote
CIKM
2010
Springer
15 years 11 days ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
109
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
132
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...