Many program veriication, testing and performance prediction techniques rely on analysis of statically-identiied control-ow paths. However, some such paths may be semantically`dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for ...

Write-unidirectional memories (WUMs) have been introduced recently. They are binary storage devices having a close relationship to write-once memories (WOMs). When updating the information stored by a WUM the encoder can write 1 's to some positions of the WUM or O's to some positions of the WUM but it is not allowed to do both at the same time. Wolf, Wyner, Ziv and Korner investigated WOMs in ...

We develop a variant of Gordon and Hankin’s concurrent object calculus with support for flexible access control on methods. We investigate safe administration and access of shared resources in the resulting language. Specifically, we show a static type system that guarantees safe manipulation of objects with respect to dynamic specifications, where such specifications are enforced via access ch...

Embodiment has become an important concept in many areas of cognitive science. There are, however, very different notions of exactly what embodiment is and what kind of body is required for what type of embodied cognition. Hence, while many nowadays would agree that humans are embodied cognizers, there is much less agreement on what kind of artifact could be considered embodied. This paper iden...

This is a pedagogical and (almost) self-contained introduction into the Theorem of Groenewold and van Howe, which states that a naive transcription of Dirac’s quantisation rules cannot work. Some related issues in quantisation theory are also discussed. First-class constrained systems a briefly described in a slightly more ‘global’ fashion.1

This paper studies design schemes for the X control chart under non-normality. Different estimators of the standard deviation are considered and the effect of the estimator on the performance of the control chart under non-normality is investigated. Two situations are distinguished. In the first situation, the effect of non-normality on the X control chart is investigated by using the control l...