Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Abstract. In the natural world, individual organisms can adapt as their environment changes. In most in silico evolution, however, individual organisms tend to consist of rigid sol...
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger,...
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...