Algebra of Program Termination.

Henk Doornbos Roland Carl Backhouse

Published in: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)

Keyphrases

data model
program execution
term rewriting
real time
knowledge base
case study
data types
computer programs
boolean algebra