Software Evolution Using Higher Order Typed (HOT) Language Technology

Abstract

The objective of this effort was to develop and demonstrate innovative approaches and techniques to support rapid incorporation of new requirements and technologies into and evolving system's capabilities and architecture. Their approach was to develop and demonstrate the integrated incremental programming environment by developing designs based on modular executable specs, capturing architectures by using a higher order typed (HOT) module language, and developing a programming environment which supports incremental programming. Yale developed and demonstrated HOT language technology in three areas: domain specific languages, compilers and architecture definition languages. They also created HOT ACME, an architectural description language (ADL). They collaborated with other groups on two widely used HOT languages: Haskell, as implemented by the Hugs interpreter, and ML, as implemented by SML/NJ using FLINT backend.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2002
Accession Number
ADA398538

Entities

People

  • John C. Peterson
  • Paul Hudak
  • Zhong Shao

Organizations

  • Yale University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Compilers
  • Computer Programming
  • Computer Science
  • Computers
  • Environment
  • Foreign Languages
  • Information Systems
  • Infrastructure
  • Instructions
  • Language
  • Military Research
  • Natural Language Processing
  • Object Code
  • Personal Information Managers
  • Programming Languages

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.
  • Fluid Dynamics.