Extended ML: an Institution - Independent Framework for Formal Program Development.

Donald Sannella Andrzej Tarlecki

Published in: CTCS (1985)

Keyphrases

main contribution
knowledge based systems
theoretical framework
key features
design principles
conceptual framework
databases
real world
information retrieval
genetic algorithm
decision trees
video sequences
formal model
development environment