The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.

Robin Hirsch Szabolcs Mikulás Timothy Stokes

Published in: Log. J. IGPL (2022)

Keyphrases

algebraic operations
application programs
abstract data types
knowledge base
data model
database languages
query language
black box
primitive operations
programming environment
programming language
operating system
database
first order logic
language constructs
turing machine
database systems
high level
data sets