R. C. Holt

1941 · 27 obras en el catálogo

Obras

The Turing Programming Language

Structured concurrent programming with operating systems applications

Structured programming using PL/1 and SP/k

AAn investigation of support materials for teaching computer

An investigation of support materials for teaching computer studies in Ontario high schools

AAn overview of TUNIS, and UNIX look-alike written in Concurr

An overview of TUNIS, and UNIX look-alike written in Concurrent Euclid

Concurrent Euclid, The UNIX system, and TUNIS

TThe concurrent programming of operating systems using the Tu

The concurrent programming of operating systems using the Turing Plus language

CConcurrent programming using the Turing Plus language

Concurrent programming using the Turing Plus language

DData descriptors

Data descriptors

DDesign goals for the Turing programming language

Design goals for the Turing programming language

FFeatures of the Turing language

Features of the Turing language

TThe formal semantics of Turing programs

The formal semantics of Turing programs

AA framework for specifying and visualizing architectural des

A framework for specifying and visualizing architectural designs

Fundamentals of structured programming using FORTRAN with SF/k and WATFIV-S

HHealthiness versus realizability in predicate transformers

Healthiness versus realizability in predicate transformers

Introduction to computer science using the TURING programming language

MMini Tunis book

Mini Tunis book

OOn deadlock in computer systems

On deadlock in computer systems

Programming standard Pascal

SSet projectors

Set projectors

SS/SL; Syntax/Semantic Language

S/SL; Syntax/Semantic Language

SStructured subsets of the PL/1 language

Structured subsets of the PL/1 language

SStructured subsets of the PL/I language

Structured subsets of the PL/I language

TThe Turing language report

The Turing language report