Systems programming in concurrent prolog

In the spring of 1973 it was decided to implement the language BCPL on the experimental microprogrammable computer RIKKE-1 being constructed in this department. The language was chosen to be the systems programming language for RlKKE-1, one argurment being the possibility of transferring the Oxford Operating system OS 8 to RIKKE-1. This paper describes the design process for an internal representation of OCODE, the resulting machine, the emulator, and the assembler, and finally there is a discussion of our experiences of running the OCODE machine during the past 8 months. Some future analysis and possible modifications are mentioned.

Download Full-text

Extracting and Optimizing Formally Verified Code for Systems Programming

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-20652-9_15 ◽

2019 ◽

pp. 228-236

Author(s):

Eleftherios Ioannidis ◽

Frans Kaashoek ◽

Nickolai Zeldovich

Keyword(s):

Systems Programming

Download Full-text

Automatic Control Systems Programming Using a Real Time Declarative Language

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)59729-3 ◽

1986 ◽

Vol 19 (6) ◽

pp. 89-93 ◽

Cited By ~ 2

Author(s):

J.L. Bergerand ◽

P. Caspi ◽

N. Halbwachs ◽

J.A. Plaice

Keyword(s):

Automatic Control ◽

Control Systems ◽

Real Time ◽

Declarative Language ◽

Automatic Control Systems ◽

Systems Programming

Download Full-text

A Formal Approach to Autonomic Systems Programming: The SCEL Language

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15317-9_2 ◽

2015 ◽

pp. 24-28 ◽

Cited By ~ 1

Author(s):

Rocco De Nicola

Keyword(s):

Formal Approach ◽

Autonomic Systems ◽

Systems Programming

Download Full-text