3535 search results - page 503 / 707 » Logic Program Specialisation |
124
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
129
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
158
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
132
click to vote
AOSD
2010
ACM
15 years 12 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
138
Voted
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...