Machine structure oriented control code logic

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 , such issues can be explained at a very abstract level. We use the approach among other things to explain the well-known compiler fixed point.

• Type: Journal
• Year: 2007
• Where: CORR
• Authors: Jan A. Bergstra, C. A. Middelburg
• Keywords: Control Codes, CORR 2007, Education, Logical Approach, Machine