## Higher Order Operationational Techniques in Semantics - Introduction

### BibTeX

@MISC{Gordon_higherorder,

author = {A. D. Gordon and A. M. Pitts (Eds)},

title = {Higher Order Operationational Techniques in Semantics - Introduction},

year = {}

}

### OpenURL

### Abstract

Introduction The articles in this volume concern operational semantics of higher order programming languages, mathematical techniques for developing the properties of such operational semantics, and applications of those techniques. In this Introduction we set the articles in the wider context of research into programming languages and bring out some of the themes and techniques that recur throughout the book. Operational Semantics The various approaches to giving meanings to programming languages fall broadly into three categories: denotational, axiomatic, and operational. In a denotational semantics, the meaning of programs is defined abstractly using elements of some suitable mathematical structure. In an axiomatic semantics, meaning is defined indirectly via the axioms and rules of some logic of program properties. In an operational semantics, the meaning of programs is defined in terms of their behaviour, for example the steps of computation they can take during