1559 search results - page 20 / 312 » The Semantics of Future and Its Use in Program Optimizations |
193
click to vote
ICFP
2009
ACM
16 years 10 days ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
122
click to vote
ASP
2003
Springer
15 years 4 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
ESOP
2003
Springer
15 years 4 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
ICCSA
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we present a nonlinear programming solution to one of the most challenging problems in trajectory optimization. Unlike most aerospace trajectory optimization problems...
141
click to vote
SCP
2010
14 years 6 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...