56
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
58
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
59
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
64
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
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...
80
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
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...
61
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
56
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
79
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
68
Voted
PPDP
2000
Springer
15 years 11 days ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...