14 search results - page 1 / 3 » esop 2000 |
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
ESOP
2000
Springer
13 years 8 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...
ESOP
2000
Springer
13 years 8 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,...
ESOP
2000
Springer
13 years 8 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...