Search scope:
Shopping cart (0)
Standard

IEEE 1178-1990

Withdrawn
Preview

Existing or new amendments and versions must be purchased separately.

Language
Services

Abstract

New IEEE Standard - Inactive-Reserved. Reaffirmed 2008. The form and meaning of programs written in the Scheme programming language, in particular, their syntax, the semantic rules for interpreting them, and the representation of data to be input or output by them, are specified. The fundamental ideas of the language and the notational conventions used for describing and writing programs in the language are presented. The syntax and semantics of expressions, programs, and definitions are specified. Scheme's built-in procedures, which include all of the language's data manipulation and input/output primitives, are described, and a formal syntax for Scheme written in extended Backus-Nauru form is provided. Formal denotational semantics for Scheme and some issues in the implementation of Scheme's arithmetic are covered in the appendixes.

Products specifications

  • Standard from IEEE
  • Published:
  • Withdrawn:
  • Document type: IS
  • Pages
  • Publisher: IEEE
  • Distributor: IEEE
  • ICS: 35.060
  • National Committee: IEEE Computer Society / Microprocessor Standards Committee

Product Relations

  • Refers: IEEE 754-1985
  • Refers: May 1978.
  • Refers: 256. ACM SIGAPL, San Francisco, September 1981. Proceedings published as APL Quote Quad 12(1), ACM, Sept. 1981.
  • Refers: Paul Hudak and Philip Wadler, editors. Report on the Functional Programming Language Haskell. Yale University
  • Refers: Paul Penfield, Jr. Principal values and branch cuts in complex APL. In APL '81 Conference Proceedings, pp. 248–
  • Refers: Research Report YALEU/DCS/RR-666, Dec. 1988.
  • Refers: Guy Lewis Steele Jr. Rabbit: a compiler for Scheme. MIT Artificial Intelligence Laboratory Technical Report 474,
  • Refers: Guy Lewis Steele Jr. Common Lisp: The Language. 2d ed. Bedford, MA: Digital Press, 1990.