“It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in computing, both in software and in hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing.” Christopher Strachey, Oxford Univ. Programming Research Group Head, 1965-75 Quoted from C.A.R. Hoare. A Hard Act to Follow. J. Higher Order and Symbolic Computation 13 (2000) 71-72. |
KSU CIS705a:
This course is about understanding standard models of programming languages
and designing/implementing our own domain-specific languages (DSLs).
|