Generating Algebraic Laws from Imperative Programs.

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

Keyphrases

imperative programs
dynamic logic
higher order
automatically generating
artificial intelligence
search engine
information systems
constraint satisfaction problems
generation process
mathematical theory