Machine structure oriented control code logic

Details Machine structure oriented control code logic Machine structure oriented control code logic

2007-11-06

arxiv.org/abs/0711.0836v3

Acta Informatica, 46(5):375--401, 2009

Computer Science

Software Engineering

32 pages; phrasing improved, references added, connection with Janlert's "dark programming" explained

Scientific paper

10.1007/s00236-009-0099-2

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.

Affiliated with

Also associated with

No associations

Rating

Machine structure oriented control code logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Machine structure oriented control code logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Machine structure oriented control code logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-134299