5377 search results - page 574 / 1076 » Programming Languages For Interactive Computing |
190
click to vote
JSA
2000
15 years 6 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
188
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
203
Voted
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
193
click to vote
ASPLOS
2006
ACM
16 years 26 days ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
171
Voted
ICALP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...