Comparing Three Approaches to Transformational Programming

Abstract

Transformational programming is a methodology that intends to formalize the development of programs from problem specifications. Given the recent effort towards the design of a common prototyping system (CPS) for the Ada programming language, transformation systems may be reconsidered as possible components of prototyping systems. This paper examines and evaluates three approaches to transformational programming.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 22, 1991
Accession Number
AD1020189

Entities

People

  • Konstantin Laeufer

Organizations

  • Courant Institute of Mathematical Sciences, NYU

Tags

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Formal Languages
  • High Level Languages
  • Language
  • Product Prototyping
  • Programming Languages
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Systems Analysis and Design