Accession Number:

AD1005652

Title:

GnoSys: Raising the Level of Discourse in Programming

Descriptive Note:

Technical Report,01 Aug 2010,30 Sep 2015

Corporate Author:

NORTHEASTERN UNIVERSITY Boston United States

Personal Author(s):

Report Date:

2016-03-01

Pagination or Media Count:

42.0

Abstract:

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.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE