IEEE 1178 1990:1991 Edition

$74.75

IEEE Standard for the Scheme Programming Language

Published By	Publication Date	Number of Pages
IEEE	1991	81

Guaranteed Safe Checkout

Category: IEEE

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Description

New IEEE Standard – Active. 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-Naur form is provided. Formal denotational semantics for Scheme and some issues in the implementation of Scheme’s arithmetic are covered in the appendixes.

PDF Catalog

PDF Pages	PDF Title
1	Title Page
3	Foreword
4	Participants
6	CONTENTS
9	Introduction Objectives Scope
10	Future Directions Compliance Organization of the Document Definitions of Terms
11	Examples Base Document
12	References Description of the Language 1. Overview of Scheme
15	2. Lexical Conventions 2.1 Identifiers
16	2.2 Whitespace and Comments
17	2.3 Other Notations 3. Basic Concepts 3.1 Variables and Regions
18	3.2 True and False 3.3 External Representations 3.4 Disjointness of Types
19	3.5 Storage Model 4. Expressions
20	4.1 Primitive Expression Types
22	4.2 Derived Expression Types
28	5. Program Structure 5.1 Programs 5.2 Definitions
30	6. Standard Procedures 6.1 Booleans
31	6.2 Equivalence Predicates
34	6.3 Pairs and Lists
38	6.4 Symbols
40	6.5 Numbers
50	6.6 Characters
51	6.7 Strings
53	6.8 Vectors
54	6.9 Control Features
57	6.10 Input and Output
59	7. Formal Syntax 7.1 Lexical Structure
61	7.2 External Representations 7.3 Expressions
62	7.4 Quasiquotations
63	7.5 Programs and Definitions 7.6 Derived Expression Types
66	Bibliography
68	Annex A—Formal Semantics
75	Annex B—Number System Subsets
78	Annex C—Implementation of Numeric Datatypes