Portal de Periódicos da CAPES

The solo operating system: Job interface

1976; Wiley; Volume: 6; Issue: 2 Linguagem: Inglês

10.1002/spe.4380060203

1097-024X

Per Brinch Hansen,

Formal Methods in Verification

Abstract This paper describes the interface between sequential Pascal programs and the Solo operating system.* A sequential program interacts with the operating system by means of procedure calls. A program prefix defining these procedures and their parameters enables the compiler to make complete type checking of calls to the operating system. The Solo interface permits Pascal programs to call one another recursively. This makes it possible to use Pascal as the job control language.