Remarks on the impact of program verification on language design.

Ralph L. London

Published in: Design and Implementation of Programming Languages (1976)

Keyphrases

design process
modeling language
real time
artificial intelligence
decision trees
multi agent
user interface
programming language
user experience
language learning
conceptual framework
engineering design
design space