Machine structure oriented control code logic

DOI10.1007/S00236-009-0099-2MaRDI QIDQ731332zbMATH OpenOpenAlexFDO

Authors C. A. Middelburg, J. A. Bergstra

Publication date 2 October 2009

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0711.0836

Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Theory of software (68N99)

Abstract: Control code is a concept that is closely related to a frequently occurring practitioner's view on what is a program: code that is capable of controlling the behaviour of some machine. We present a logical approach to explain issues concerning control codes that are independent of the details of the behaviours that are controlled. Using this approach, such issues can be explained at a very abstract level. We illustrate this among other things by means of an example about the production of a new compiler from an existing one. The approach is based on abstract machine models, called machine structures. We introduce a model of systems that provide execution environments for the executable codes of machine structures and use it to go into portability of control codes.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Machine structure oriented control code logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q731332)