Login / Signup
Programs as Executable Predicates.
C. A. R. Hoare
A. W. Roscoe
Published in:
FGCS (1984)
Keyphrases
</>
control flow
fixpoint
real time
machine learning
real world
multiscale
relational databases
evolutionary algorithm
object oriented
user defined
computer programs
automatic programming