Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Ruler Programming Type Rules
Stc
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.
