ON THE NEED FOR A POPULAR FORMAL SEMANTICS

Authors
SCHMIDT DA
Citation
Da. Schmidt, ON THE NEED FOR A POPULAR FORMAL SEMANTICS, ACM SIGPLAN NOTICES, 32(1), 1997, pp. 115-116
Citations number
6
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
ACM SIGPLAN NOTICES → ACNP
Volume
32
Issue
1
Year of publication
1997
Pages
115 - 116
Database
ISI
SICI code
Abstract
The technology transfer from semantics research to mainstream computin g has been hampered by specialization of techniques at the expense of calculational clarity. A ''popular semantics'' is proposed as a remedy .