2943 search results - page 224 / 589 » Software Implementation of Synchronous Programs |
117
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
156
click to vote
PEPM
1992
ACM
15 years 7 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
222
click to vote
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
118
Voted
DASIP
2010
14 years 10 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
111
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...