87 search results - page 2 / 18 » Cost semantics for space usage in a parallel language |
POPL
2010
ACM
13 years 11 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
PLANX
2008
13 years 6 months ago
2008
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
ACL
1998
13 years 6 months ago
1998
Lexical selection is a significant problem for widecoverage machine translation: depending on the context, a given source language word can often be translated into different targ...