Comparing Three Approaches to Transformational Programming

reportActive / Technical Report | Accession Number: AD1020189 | Open PDF

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.

Author(s):
Laeufer, Konstantin
Author Organization(s):
Courant Institute of Mathematical Sciences New York United States
Descriptive Note:
Technical Report
Pagination:
0031

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release;

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
N00014-90-J-1110
 Subject Terms
Modernization Areas:
Fully Networked C3
Communities of Interest:
No COI(s) Identified
Descriptor(s):
programming languages, software engineering, transformations(mathematics), methodology
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
ada programming language
Report Date:
1991 Apr 22
Creation Date:
2017 Aug 17