Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

CORR
2007
Springer

favoriteEmaildiscussreport

99views Education» more CORR 2007»

Machine structure oriented control code logic

13 years 4 months ago

Machine structure oriented control code logic

Download alexandria.tue.nl

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 ﬁxed point.

Jan A. Bergstra, C. A. Middelburg

Real-time Traffic

Control Codes | CORR 2007 | Education | Logical Approach | Machine |

claim paper

Related Content

» Constructing reconfigurable software for machine control systems

» Hoare Logic for ARM Machine Code

» Using XCAP to Certify Realistic Systems Code Machine Context Management

» Shop Floor Information Management and SOA

» ObjectOriented Program Behavior Analysis Based on Control Patterns

» ApplicationOriented Trust in Distributed Computing

» Unbundling Transaction Services in the Cloud

» Rapid Prototyping and Incremental Evolution Using SLAM

» A technique for generic iteration and its optimization

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	CORR
Authors	Jan A. Bergstra, C. A. Middelburg

Comments (0)