You are here:
(02 Sep 2010,
Date: 2005-10-06 Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[Main.AtzeDijkstra][Atze Dijkstra]] ----+++ Title: Ruler: programming type rules ----+++ Abstract Some type systems are first described formally, to be sometimes followed by an implementation. Other type systems are first implemented as a language extension, to be sometimes retrofitted into a formal description. In neither case it is an easy task to keep both artefacts consistent. In this talk we present Ruler, a domain specific language for type rules. Our prototype compiler for Ruler both generates (1) a visual <nop>LaTeX rendering, suitable for use in the presentation of formal aspects, and (2) an attribute grammar based implementation. Uniting these two aspects in Ruler contributes to bridging the gap between theory and practice: mutually consistent representations can be generated for use in both theoretical and practical settings.
ore topic actions
Topic revision: r2 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?