Dynamic Symbolic Computation for Domain-Specific Language Implementation.

Published in: LOPSTR (2011)

Keyphrases

dynamic environments
implementation details
dynamically changing
database
real time
data sets
databases
search engine
computer vision
digital libraries
cloud computing
automated deduction
dynamic adaptation
domain specific languages