Accession Number:

ADA171682

Title:

Programatics II,

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA

Personal Author(s):

Report Date:

1981-05-12

Pagination or Media Count:

9.0

Abstract:

Programatics is the context in which one can talk about programs written in the functional programming language Alfa. Programs written in Alfa are collections of domain and function definitions. The most important tool for defining functions is that of function composition, which allows us to write functional expressions that create new functions out of existing ones. In addition to the language Alfa, Programatics contains rewriting rules for functional expressions and a library of proven function equivalences that can be used for substitution of subexpressions. This report supersedes Notes on Programatics Part 1 , dated 8 September 1980. Two major changes are that primitive types such as integer, are no longer part of the Alfa language and that the concept of type has been replaced by that of domain. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE