An attempt to embed a restricted version of SDL as a target language in Focus
Eckhardt Holz, Ketil Stølen · 1994
This paper presents a first attempt to embed a restricted version of SDL as a target language in Focus. Brief introductions to both Focus and SDL are given, and it is shown how both methods can be assigned a denotational semantics based on streams and stream processing functions. A set of Focus specifications, referred to as F-SDL, is characterized whose elements structurally and semantically matchSDL specifications to such a degree that an automatic translation is almost straightforward.