Guest Editor's foreword.

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

virtual machine
special issue
prior knowledge
knowledge base
user interface
end users
object oriented