GnoSys: Raising the Level of Discourse in Programming

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2016
Accession Number
AD1005652

Entities

People

  • Olin Shivers

Organizations

  • Northeastern University

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Artificial Intelligence Computing
  • C Programming Language
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Debugging
  • Domain Specific Programming Languages
  • Language
  • Linguistics
  • Object Oriented Programming
  • Operating Systems
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Software Engineering