Interprocedural Symbolic Evaluation of Ada Programs with Aliases.

Johann Blieberger Bernd Burgstaller Bernhard Scholz

Published in: Ada-Europe (1999)

Keyphrases

knowledge base
high level
evaluation process
real time
databases
real world
information retrieval
evaluation criteria
evaluation model