Ott: Effective tool support for the working semanticist (2007)
Cached
Download Links
| Venue: | PROC. ICFP |
| Citations: | 32 - 3 self |
BibTeX
@INPROCEEDINGS{Sewell07ott:effective,
author = {Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Rok Strnisa},
title = { Ott: Effective tool support for the working semanticist},
booktitle = { PROC. ICFP},
year = {2007},
pages = {1--12},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressing semantics -- usually either LATEX for informal mathematics, or the formal mathematics of a proof assistant -- make it much harder than necessary to work with large definitions. We present a metalanguage specifically designed for this problem, and a tool,
