Sciweavers

PPDP
2000
Springer
15 years 7 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
PPDP
2000
Springer
15 years 7 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
PPDP
2000
Springer
15 years 7 months ago
Declarative event-oriented programming
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
Conal Elliott
PPDP
2000
Springer
15 years 7 months ago
A high performance Erlang system
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....