5415 search results - page 283 / 1083 » The Implementation of Functional Programming Languages |
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We show that linear probing requires 5-independent hash functions for expected constant-time performance, matching an upper bound of [Pagh et al. STOC’07]. For (1 + ε)-approxima...
178
click to vote
JELIA
2010
Springer
14 years 12 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
110
click to vote
ISCA
2006
IEEE
15 years 7 months ago
2006
IEEE
Transactional Memory (TM) simplifies parallel programming by allowing for parallel execution of atomic tasks. Thus far, TM systems have focused on implementing transactional stat...
106
click to vote
TOOLS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
118
click to vote
TPHOL
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...