4743 search results - page 560 / 949 » The PlusCal Algorithm Language |
111
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
111
click to vote
ESOP
2010
Springer
16 years 3 days ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
105
click to vote
ESOP
2010
Springer
16 years 3 days ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...
115
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
131
Voted
CC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...