Program algebra with a jump-shift instruction.

Jan A. Bergstra Cornelis A. Middelburg

Published in: J. Appl. Log. (2008)

Keyphrases

multimedia
computer programs
databases
data model
markov chain
control flow
algebraic expressions
adult students
relational databases
query language
online learning
relational algebra
static analysis