Documentation¶

• Using lex
• Using YACC
• Using YACC with lex
• Using GDB
• ExPL Specification
• ExpL Grammar Outline
• OExpL Specification
• OExpL Grammar Outline
• Compile Time Data Structures for ExpL
• Compile Time Data Structures for OExpL
• Run Time Data Structures for ExpL
• Run Time Data Structures for OExpL
• Code Generation
• Label Translation (./Linking)
• Application Binary Interface
• Library Implementation
• XSM Simulator Installation.
• XSM Simulator Usage Instructions.
• XSM Execution Environment Tutorial.
• ExpL Test Programs.
• OExpL Test Programs.