A Tool to Support Formal Reasoning about Computer Languages.

Richard J. Boulton

Published in: TACAS (1997)

Keyphrases

end users
computer programs
artificial intelligence
user friendly
databases
computer systems
language independent
database
data mining
information systems
case study
object oriented
expressive power
spatial reasoning
formal methods
computer programming