| Three Inadequate Models (2007) | |||||||||||||||
Abstract | |||||||||||||||
| The connection between operational and denotational semantics is of longstanding interest in the study of programming languages. One naturally seeks positive results. For example in [FP94, Sim99] adequacy results are given for models in a variety of | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||