A Collection of Alfa Examples,

Abstract

Alfa is a functional programming language used in the context of Programmatics, a programming environment in which one can apply rewriting rules and in which one can express equivalence of functional expression. Alfa provides strong typing, information hiding, suitable in fix notations, overloading and modularization. The examples are presented without an explanation of the Alfa language. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 05, 1981
Accession Number
ADA171664

Entities

People

  • A. N. Habermann

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Contracts
  • Environment
  • Grammars
  • Identities
  • Language
  • Linguistics
  • Mathematics
  • Notation
  • Programming Languages
  • Semantics
  • Sequences
  • Social Sciences
  • Specifications
  • Standards
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Manufacturing Engineering.