Login / Signup
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.
Dines Bjørner
Published in:
The Vienna Development Method: The Meta-Language (1978)
Keyphrases
</>
operating system
specification language
computer systems
windows xp
programming language
programs written
linux kernel
virtual machine
multi tasking
high level
case study
machine learning
software systems
command line
virtual memory
microsoft windows
e learning
information systems