A Rationale for Conditional Equational Programming.

Nachum Dershowitz Mitsuhiro Okada

Published in: Theor. Comput. Sci. (1990)

Keyphrases

programming language
theorem proving
programming environment
random field model
real time
databases
real world
conditional probabilities
design decisions
programming education
equational theories