Design for Proof: An Approach to the Design of Domain-Specific Languages.

Stuart Anderson Konstantinos Tourlas

Published in: Formal Aspects Comput. (1998)

Keyphrases

computer aided
machine learning
information retrieval
case study
design issues
neural network
conceptual framework
data sets
information systems
decision trees
digital libraries
general purpose
design principles
optimal design