The programming language C and the operating system UNIX

DOI10.1007/BF01086178zbMath0631.68005OpenAlexW2073015959MaRDI QIDQ1094863

A. N. Maslov

Publication date: 1987

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01086178

zbMATH Keywords

UNIXprogramming language C

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Uses Software

• INGRES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification of the UNIX Filing System
• Specification and verification of the UCLA Unix security kernel
• Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres

This page was built for publication: The programming language C and the operating system UNIX