Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:ojs.tidsskrift.dk:article/6602

An Introduction to Action Semantics

Authors
Publication date
1 November 1991
Publisher
'Aarhus University Library'

Abstract

Formal semantics is a topic of major importance in the study of programming languages. Its applications include documenting language design, establishing standards for implementations, reasoning about programs, and generating compilers. These notes introduce action semantics, a recently-developed framework for formal semantics. The primary aim of action semantics is to allow useful semantic descriptions of realistic programming languages

Similar works

Full text

thumbnail-image

Tidsskrift.dk (Det Kongelige Bibliotek)

redirect
oaioai:ojs.tidsskrift.dk:article/...
Last time updated on 29/10/2019

This paper was published in Tidsskrift.dk (Det Kongelige Bibliotek).

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.