GnoSys: Raising the Level of Discourse in Programming
Technical Report,01 Aug 2010,30 Sep 2015
NORTHEASTERN UNIVERSITY Boston United States
Pagination or Media Count:
GnoSys produced research in the following five areas 1 A meta-programming system permitting designers to easily construct domain-specific languages for program components 2 A language suite permitting programs to be written with associated design rationale and behavioral contracts 3 A high-level operating system factored into distinct modules 4 A compiler framework and automated reasoning system that could exploit the extra knowledge captured in the form of program annotations, little languages, and component contracts to deliver final systems and 5 A program-development environment permitting programmers to engage in a dialogue with the automated reasoning tools and compiler analyses about the behavior of the computational systems they are designing.