The Role of Theory and Experiment in Language Design--A 15 Year Perspective
Daniel E. Cooke, Brad Nemanich, Julian Rushton · Proceedings - International Conference on Tools with Artificial Intelligence, TAI · 2006
This paper highlights a 15-year research effort during which the executable specification language SequenceL has been researched and developed. The paper covers early insights into how iterative control structures are used as well as advances involving simple and general semantics