Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion.

Masayuki Mizuno Eijiro Sumii

Published in: APLAS (2019)

Keyphrases

formal specification
multiscale
transitive closure
formal methods
complex objects
deductive databases
neural network
real world
web services
datalog programs