Relational semantics

Authors:
Mark Saaltink
Affiliations:
I. P. Sharp Associates, Ottawa, Ontario, Canada
Venue:
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Year:
1985

Citing 5
Cited 0

Predicative programming Part I

Communications of the ACM
A generalized control structure and its formal definition

Communications of the ACM
The denotational semantics of programming languages

Communications of the ACM
The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
A Discipline of Programming

A Discipline of Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract