Login / Signup
Extended ML: An Institution-Independent Framework for Formal Program Development.
Donald Sannella
Andrzej Tarlecki
Published in:
ADT (1986)
Keyphrases
</>
main contribution
real time
data sets
neural network
information retrieval
information systems
decision making
website
high level
user interface
decision support
lightweight
theoretical framework
design principles
development environment