Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Front Cover
Springer Science & Business Media, 1985 - Computers - 364 pages
 

What people are saying - Write a review

User Review - Flag as inappropriate

abstract Data Type

Selected pages

Contents

Introduction
7
12 Summary of Thesis
12
13 Organization of the Thesis
16
Goals of Paragon and Their Relation to Previous Efforts
19
22 Preliminary Design Restrictions for Paragon
28
The Basics of Paragon
33
31 Overview of Elaborations
34
33 Name Expressions
43
74 Conclusions about the Prototype
253
Retrospective on the Language Design and Implementation
255
82 Describing and Selecting Abstract Data Types
258
83 Automatic Processing of Paragon Programs
266
84 Summary
269
Bibliography
275
Additional Paragon Features
283
A2 Object Creation Expressions
285

34 Parameters
48
35 Procedure Specifications
55
36 Procedure Implementations
58
37 Iterators
62
38 Conventional Statements
67
The ObjectManager Model and Its Implementation
71
42 The Manager Model in Other Languages
74
43 Hierarchies for Specifications
76
44 Problems with Hierarchies for Specifications
78
45 Hierarchies for Implementations
85
46 Problems with Hierarchies for Implementations
96
Selection of Implementations
107
52 Variable Declarations and Object Creations
109
53 Describing Classes and Procedures Attributes
120
54 Representing the Implementation Choices The Possibility Tree
130
55 Making the Implementation Choices The Policy Procedure
148
A Complete Example Using Paragon
167
62 Predefined Environment
168
List
175
Sort
187
Minimum Time and Space
190
66 Transformed Program
196
67 General Procedures
204
68 Recursive Procedures
207
69 Some Alternative Policies
210
Implementation
225
72 Component Descriptions
232
73 Translator Performance
234
A4 Initial Environments
287
A6 Environments for Parameter Elaboration
288
A7 Inheriting Parameters
290
A8 Sharing Implementations
293
A9 Procedure Constraints
297
A10 SelfReferences
298
A11 Statements
299
Paragon BNF
307
B2 Program Structure
308
B4 Statements
310
B5 Expressions
311
Conventional Design Issues
313
C2 Type Parameters
314
C3 Literals
316
C4 Declaration Verbosity
318
C5 Expression Verbosity
319
Glossary
321
Abstract Data Types Used in the Examples
331
E2 Overview of Lists
332
Applications Programs
335
F2 Insertion Sort 1
336
F4 Merge Sort
337
F5 Transitive Closure
338
F6 Huffman Encoding
339
Sample Output of Translator
343
Index
357
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 7 - And wallow in the dust of their feet, and drink in their words with gusto.

Bibliographic information