An Overview of Action Semantics

Hermano Perrelli de Moura

This tutorial gives an overview of action semantics, a formalism for specification of programming languages. A small imperative programming language is used to illustrate the main concepts. Action notation, the formal notation used in action semantic descriptions, is explained using an informal and a formal approach, together with some examples. Finally, pointers and references for additional information are given. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: