10585 search results - page 709 / 2117 » The Orc Programming Language |
154
click to vote
BIRTHDAY
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
154
click to vote
AAAI
2007
15 years 9 months ago
2007
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
200
click to vote
SFP
2003
15 years 8 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...
195
click to vote
ENTCS
2002
15 years 7 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
187
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...