Machine structure oriented control code logic
From MaRDI portal
Publication:731332
DOI10.1007/S00236-009-0099-2zbMATH Open1186.68104arXiv0711.0836OpenAlexW3102394008MaRDI QIDQ731332FDOQ731332
Authors: C. A. Middelburg, J. A. Bergstra 
Publication date: 2 October 2009
Published in: Acta Informatica (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/0711.0836
Recommendations
Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Theory of software (68N99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formalism for translator interactions
- Program algebra for sequential code
- Combining programs and state machines
- Thread algebra with multi-level strategies
- Execution architectures for program algebra
- Title not available (Why is that?)
- Guidelines for software portability
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- Machine structure oriented control code logic
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)
