Specification of the UNIX Filing System.

Carroll Morgan Bernard Sufrin

Published in: IEEE Trans. Software Eng. (1984)

Keyphrases

operating system
specification language
high level
database
database systems
formal specification
provably correct
machine learning
decision trees
bayesian networks
relational databases
distributed systems
software development
operational semantics