On the need for a popular formal semantics
David A. Schmidt · ACM SIGPLAN Notices · 1997
The technology transfer from semantics research to mainstream computing has been hampered by specialization of techniques at the expense of calculational clarity. A "popular semantics" is proposed as a remedy.