Index

copy_phylum

CSGIOread_phylum

CSGIOwrite_phylum

Including Other Definitions | File Names, Preprocessor Symbols

DEBUG

Debugging Support

distinguished symbol

dollar-variables

ecalloc

emalloc

eq_phylum

erealloc

example

abstract data type: Abstract Data Types and | Rewrite Systems and Functions
attribute grammar: Attribute Grammars
attributed phylum: Attributes of Terms
Fibonacci: Memo Functions
function definition: Function Definitions | Function Definitions | Function Definitions
generated data type: Generated Data Types
including in generated files: Including Other Definitions
lex input: Interfacing with Yacc and | Rewrite Systems and Functions
list phylum: Defining Terms
makefile: A Makefile
memo function: Memo Functions
non-uniq phylum: Storage Options
pattern factoring: Function Definitions | Function Definitions | Function Definitions
pattern parameterizing: Function Definitions
phylum: Defining Terms
printer function: Unparsing Definitions | Unparsing
rewrite rule: Rewrite Definitions | Rewrite Definitions
structural induction: Structural Induction
structure file usage: Interfacing with Structure Files
symbol table: Storage Options | Beyond Symbol Tables
uniq phylum: Storage Options | Memo Functions | Beyond Symbol Tables
unparse definition: Unparsing Definitions
yacc input: Interfacing with Yacc and | Rewrite Systems and Functions

False

Fibonacci

example: Memo Functions

filter_list

fprint_phylum

fprintdot_phylum

fprintdotepilogue

fprintdotprologue

free_list

free_phylum

Predefined Phyla and Operators

function definition

example: Function Definitions | Function Definitions | Function Definitions

generated data type

example: Generated Data Types

hashed-consing

Storage Options

including in generated files

example: Including Other Definitions

initialisation of attributes

Attributes of Terms

int

isinuniqmalloccedblock

Node-sharing in Structure Files

KC_CSGIO_NO_SHARING

kc_ht_assign

kc_ht_assigned

kc_ht_clear

kc_ht_create

kc_ht_create_bucketmanagement

kc_ht_create_simple

kc_ht_dec_level

kc_ht_delete

kc_ht_dynamic

kc_ht_free_level

kc_ht_inc_level

kc_ht_reuse

kc_ht_static

kc_print_hash_statistics

kc_print_hashtable_memory_statistics

kc_print_operator_statistics

kc_set_csgio_hashtablesize

Generated Functions | Node-sharing in Structure Files

kc_set_csgio_sharing

kc_set_fprintdot_hashtablesize

kc_size_t

KC_STATISTICS

Interfacing with Yacc and

kc_storageclass_t

LARGEPRIME

last_list

length_list

lex

lex input

example: Interfacing with Yacc and | Rewrite Systems and Functions

list phylum

MALLOC

map_list

Including Other Definitions

math.h

mkcasestring

mknocasestring

NDEBUG

Debugging Support

nocasestring

Defining Terms | Predefined Phyla and Operators

non-uniq phylum

example: Storage Options
inherited attributes: Attribute Grammars

NONUNIQMALLOC

operator

overlapping patterns

Function Definitions | Rewrite Definitions | Unparsing Definitions

paradigm

What is the Place

paradigms

Cookbook

pattern factoring

example: Function Definitions | Function Definitions | Function Definitions

pattern parameterizing

example: Function Definitions

phylum

example: Defining Terms

print_phylum

printer function

example: Unparsing Definitions | Unparsing

reverse_list

rewrite strategy

Rewrite Definitions

rewrite view declaration

rewrite views

rewrite_phylum

rview

SG

see Synthesizer Generator

SSL

storageclass declaration

Life Time of Terms

Swahili

What is in a

symbol table

example: Storage Options | Beyond Symbol Tables

symbol tables

Beyond Symbol Tables

Synthesizer Generator

Introduction

terms

in-place modification: Function Definitions

time/space trade off

Memo Functions

True

uniq or not unique usage

Beyond Symbol Tables

uniq phylum

example: Beyond Symbol Tables
inherited attributes: Attribute Grammars

uniq storage option

Storage Options

uniqfreeall

uniqfreeelement

uniqmalloc

UNIQMALLOC2

uniqmallocinit

unparse view declaration

Unparsing Definitions

unparse views

Unparsing Definitions

unparse_phylum

uview

view declaration

rewrite: Rewrite Definitions
unparse: Unparsing Definitions

views

rewrite: Rewrite Definitions
unparse: Unparsing Definitions

with-statements

Function Definitions

yacc

yacc input

example: Interfacing with Yacc and | Rewrite Systems and Functions

YYSTYPE