An Access Specification Language for a Relational Data Base System.

Raymond A. Lorie Jørgen Fischer Nilsson

Published in: IBM J. Res. Dev. (1979)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
general purpose
software environment
knowledge representation
requirements specification
data structure
cooperative
multi agent systems
open source
access control