Dieter Maurer

Learn More
In this article a protocol for distributed reference counting is developed and proved correct. It is pointed out, how it can be used to detect instemces where update in place is allowed. An implementation scheme is presented that requires bookkeeping messages only for tire copying of references across processor boundaries and for the deletion of references(More)
Call-by-need is widely regarded as an optimal (to within a constant factor) parameter passing mechanism for functional programming languages. Except for certain special cases involving higher order functions, call-by-need is optimal with respect to time. However, call-by-need is far from optimal with respect to space. We examine some of the space problems(More)
The question whether or not vowel quality can be maintained at F0 of the sounds exceeding statistical F1 of „normal“ speech is still a matter of debate. The present study investigates the perception of long Cantonese vowels /i, y, œ, a, ɔ, u/, spoken and sung in (C)V and (C)V:S context by a well-known female Cantonese Opera singer in the range of F0 of c.(More)