PPDP
2000
Springer
14 years 3 months ago
2000
Springer
PPDP
2000
Springer
14 years 3 months ago
2000
Springer
PPDP
2000
Springer
14 years 3 months ago
2000
Springer
PPDP
2000
Springer
14 years 3 months 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...
PPDP
2000
Springer
14 years 3 months 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...
PPDP
2000
Springer
14 years 3 months 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...
PPDP
2000
Springer
14 years 3 months ago
2000
Springer
PPDP
2000
Springer
14 years 3 months 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...
PPDP
2000
Springer
14 years 3 months 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...