877 search results - page 19 / 176 » Full Abstraction for HOPLA |
ENTCS
2007
13 years 7 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
COMBINATORICS
2000
13 years 7 months ago
2000
Two tournaments T1 and T2 on the same vertex set X are said to be switching equivalent if X has a subset Y such that T2 arises from T1 by switching all arcs between Y and its comp...
EUNIS
2001
13 years 9 months ago
2001
preferred abstracting and indexing databases to full text. Librarians and information professionals want the choice to be able to purchase subject orientated packages of electronic...
PRIS
2004
13 years 8 months ago
2004
Abstract. Feature selection researchers often encounter a peaking phenomenon: a feature subset can be found that is smaller but still enables building a more accurate classifier th...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...