The Synthesizer Generator
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer New York

9781461396253, 9781461396239
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Performing Static Inferences with Attributes

1989 ◽  
pp. 143-159
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum

The Attribute-Grammar Model of Editing

1989 ◽  
pp. 39-44
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum
Keyword(s):  
Attribute Grammar ◽  
Grammar Model

Generating Code Using Attributes

1989 ◽  
pp. 195-209
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum

Interactive Program Verification

1989 ◽  
pp. 210-230
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum
Keyword(s):  
Program Verification ◽  
Interactive Program

Practical Advice

1989 ◽  
pp. 160-194
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum
Keyword(s):  
Practical Advice

Defining Hybrid Editors with the Synthesizer Generator

1989 ◽  
pp. 95-142
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum

Specification of a Sample Editor

1989 ◽  
pp. 45-67
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum

Demonstration of a Sample Editor

1989 ◽  
pp. 20-38
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum

The Implementation

1989 ◽  
pp. 231-245
Author(s):  
Thomas W. Reps ◽  
Tim Teitelbaum
Load More ...
Sign in / Sign up

Export Citation Format

Share Document