Proving termination of evaluation for System F with control operators.

Malgorzata Biernacka Dariusz Biernacki Sergueï Lenglet Marek Materzok

Published in: COS (2013)

Keyphrases

control system
control structures
real time
information systems
knowledge base
website
evaluation model
control strategies
term rewrite systems