14 search results - page 1 / 3 » esop 2000 |
81
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
87
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
104
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
113
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
106
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...