Program Transformation via Contextual Assertions.

Ian A. Mason Carolyn L. Talcott

Published in: Logic, Language and Computation (1994)

Keyphrases

contextual information
knowledge base
databases
computer programs
neural network
case study