3824 search results - page 593 / 765 » Geometry Constructions Language |
155
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
123
click to vote
ESOP
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
112
click to vote
PPOPP
2010
ACM
16 years 19 days ago
2010
ACM
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...
140
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
This paper deals with theoretical problems found in the work that is being carried out for annotating semantic roles in the Basque Dependency Treebank (BDT). We will present the re...
128
Voted
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...