6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.PL2015★ 6 cited
A Denotational Semantics for Communicating Unstructured Code
Nils Jähnig, Thomas Göthel, Sabine Glesner
An important property of programming language semantics is that they should be compositional. However, unstructured low-level code contains goto-like commands making it hard to def…
cs.NI2013★ 1 cited
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
Helena Gruhn, Sabine Glesner
Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements. However, a…
cs.LO1999★ 1 cited
Combining Inclusion Polymorphism and Parametric Polymorphism
Sabine Glesner, Karl Stroetmann
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are a…