5090 search results - page 206 / 1018 » Constructing Strategies for Programming |
107
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
112
Voted
BIRTHDAY
1994
Springer
15 years 6 months ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
138
click to vote
LCPC
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. The technique of flattening nested data parallelism combines all the independent operations in nested apply-to-all constructs and generates large amounts of potential pa...
98
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...
124
Voted
SIGPLAN
2002
15 years 2 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...