Title:

Fortress testing

Author(s):

Guy Steele, et. al.

Available PDF Downloads

Download Introduction
(pages 13-16)
Introduction (pages 13-16)

Download Overview
(pages 16-34)
Overview (pages 16-34)

Download Programs
(pages 35-36)
Programs (pages 35-36)

Download Evaluation
(pages 36-41)
Evaluation (pages 36-41)

Download Lexical Structure
(pages 41-54)
Lexical Structure (pages 41-54)

Download Declarations
(pages 54-61)
Declarations (pages 54-61)

Download Names
(pages 61-64)
Names (pages 61-64)

Download Types
(pages 64-70)
Types (pages 64-70)

Download Traits
(pages 70-77)
Traits (pages 70-77)

Download Objects
(pages 77-81)
Objects (pages 77-81)

Download Static Parameters
(pages 81-85)
Static Parameters (pages 81-85)

Download Functions
(pages 85-91)
Functions (pages 85-91)

Download Expressions
(pages 91-118)
Expressions (pages 91-118)

Download Exceptions
(pages 118-121)
Exceptions (pages 118-121)

Download Operators
(pages 125-137)
Operators (pages 125-137)

Download Conversions and Coercions
(pages 137-146)
Conversions and Coercions (pages 137-146)

Download Dimensions and Units
(pages 146-149)
Dimensions and Units (pages 146-149)

Download Tests and Properties
(pages 149-153)
Tests and Properties (pages 149-153)

Download Type Inference
(pages 153-156)
Type Inference (pages 153-156)

Download Memory Model
(pages 156-162)
Memory Model (pages 156-162)

Download Components and APIs
(pages 162-179)
Components and APIs (pages 162-179)

Download Objects
(pages 180-182)
Objects (pages 180-182)

Download Booleans and Boolean Intervals
(pages 182-193)
Booleans and Boolean Intervals (pages 182-193)

Download Numbers
(pages 193-201)
Numbers (pages 193-201)

Download Negated Relational Operators
(pages 201-204)
Negated Relational Operators (pages 201-204)

Download Exceptions
(pages 204-206)
Exceptions (pages 204-206)

Download Threads
(pages 206-207)
Threads (pages 206-207)

Download Dimensions and Units
(pages 207-211)
Dimensions and Units (pages 207-211)

Download Tests
(pages 211-212)
Tests (pages 211-212)

Download Convenience Functions and Types
(pages 212-214)
Convenience Functions and Types (pages 212-214)

Download Parallelism and Locality
(pages 215-227)
Parallelism and Locality (pages 215-227)

Download Overloaded Functional Declarations
(pages 227-232)
Overloaded Functional Declarations (pages 227-232)

Download Operator Declarations
(pages 232-236)
Operator Declarations (pages 232-236)

Download Dimensions and Units Declarations
(pages 236-241)
Dimensions and Units Declarations (pages 236-241)

Download Support for Domain-Specific Languages
(pages 241-245)
Support for Domain-Specific Languages (pages 241-245)

Download Algebraic Constraints
(pages 246-262)
Algebraic Constraints (pages 246-262)

Download Numbers
(pages 262-269)
Numbers (pages 262-269)

Download Components and APIs
(pages 269-271)
Components and APIs (pages 269-271)

Download Memory Sequences and Binary Words
(pages 271-312)
Memory Sequences and Binary Words (pages 271-312)

Download Fortress Calculi
(pages 313-337)
Fortress Calculi (pages 313-337)

Download Overloaded Functional Declarations
(pages 337-340)
Overloaded Functional Declarations (pages 337-340)

Download Components and APIs
(pages 340-342)
Components and APIs (pages 340-342)

Download Rendering of Fortress Identifiers
(pages 342-346)
Rendering of Fortress Identifiers (pages 342-346)

Download Support for Unicode Input in ASCII
(pages 346-351)
Support for Unicode Input in ASCII (pages 346-351)

Download Operator Precedence, Chaining, and Enclosure
(pages 351-375)
Operator Precedence, Chaining, and Enclosure (pages 351-375)

Download Concrete Syntax
(pages 375-383)
Concrete Syntax (pages 375-383)

Download Generated Concrete Syntax
(pages 383-412)
Generated Concrete Syntax (pages 383-412)

Fortress testing

Table of Contents

Fortress testing

Author(s): Guy Steele, et. al.

Table of Contents pages: 1 2

Table of Contents pages: 1 2

Search Results

No results found

Attachments