An Informal Definition of Alphard (Preliminary).

Abstract

The Alphard language design has four major goals: (1) to support modern programming methodology, (2) to permit practical program verification, (3) to permit extremely efficient object code to be produced, and (4) to permit the programmer to control certain implementation decisions -- such as the representation of data structures. Previous Alphard papers have explored aspects of these issues as they relate to particular language features; to facilitate these explorations these papers used a different syntax for the language. The present report is a complete informal definition of Alphard that both simplifies and unifies the language. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1978
Accession Number
ADA058871

Entities

People

  • Izumi Kimura
  • Paul Hilfinger
  • Ralph L. London
  • Robert Fitzgerald
  • William A. Wulf

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Assembly Languages
  • Binary Arithmetic
  • Compilers
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Language
  • Numbers
  • Object Code
  • Programming Languages
  • Sequences
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • International Relations and European Studies
  • Parallel and Distributed Computing.