Denotational semantics and refinement

Authors:
Steve Riddle;Peter J. L. Wallis
Affiliations:
Department of Computing Science, University of Newcastle Upon Tyne, Newcastle Upon Tyne, UK;School of Mathematical Sciences, University of Bath, Bath, UK
Venue:
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Year:
1997

Citing 4
Cited 2

Denotational semantics: a methodology for language development

Denotational semantics: a methodology for language development
Constructing Call-by-Value Continuation Semantics

Journal of the ACM (JACM)
The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Facilitating modular property-preserving extensions of programming languages

IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Modular composition of language features through extensions of semantic language models

IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Denotational descriptions are frequently presented in terms of a sequence of descriptions of programming languages of increasing complexity. We discuss a formal approach to the study of such description sequences in terms of a refinement relation, showing how the informal use made of this approach in tutorial introductions to denotational semantics may be formally justified.