A Staging Calculus and its Application to the Verification of Translators.

Published in: POPL (1994)

Keyphrases

model checking
machine translation
face verification
signature verification
asynchronous circuits
automated deduction
lung cancer
process algebra
real time
real world
multiscale
formal methods
real numbers
person identification