A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Ott: Effective tool support for the working semanticist
2010
Journal of functional programming
Semantic definitions of full-scale programming languages are rarely given, despite the many potential benefits. Partly this is because the available metalanguages for expressing semanticsusually either L A T E X for informal mathematics or the formal mathematics of a proof assistantmake it much harder than necessary to work with large definitions. We present a metalanguage specifically designed for this problem, and a tool, Ott, that sanity-checks such definitions and compiles them into proof
doi:10.1017/s0956796809990293
fatcat:wtvqxpi3arb6xiwsotyktqiicu