Author:
Aceto Luca,Fokkink Willem Jan,Verhoef Chris
Abstract
The importance of giving precise semantics to programming and specification<br />languages was recognized since the sixties with the development of the<br />first high-level programming languages (cf. e.g. [30, 206] for some early accounts).<br />The use of operational semantics - i.e. of a semantics that explicitly<br />describes how programs compute in stepwise fashion, and the possible<br />state-transformations they perform - was already advocated by McCarthy<br />in [147], and elaborated upon in references like [142, 143]. Examples of full-blown<br />languages that have been endowed with an operational semantics are<br />Algol 60 [140], PL/I [173], and CSP [178].
Publisher
Det Kgl. Bibliotek/Royal Danish Library
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An end-to-end domain specific modeling and analysis platform;Proceedings of the 8th International Workshop on Modeling in Software Engineering - MiSE '16;2016
2. A Dynamic-Epistemic Logic for Mobile Structured Agents;Integral Biomathics;2012