The action semantics of object-oriented languages

Action Semantics is a framework for defining the semantics of languages. It is intended to be accessible to a wider audience of Computer Scientists than traditional semantics frameworks (such as Denotational Semantics). There has been little work carried out to date on the techniques required to def...

Full description

Saved in:
Bibliographic Details
Main Author: Matthew J.A. Caswell
Format: Default Thesis
Published: 1998
Subjects:
Online Access:https://hdl.handle.net/2134/28283
Tags: Add Tag
No Tags, Be the first to tag this record!