Next:
Other documentations
[
Contents
]
TGPD: The GLADOS Project Documentation
¶
Table of Contents
1 Other documentations
2 Introduction
3 Franc C reference
3.1 Motives
3.2 Inspirations
3.2.1 Linotte
3.2.2 C
3.2.3 French language
3.3 Language Formal Syntax (BNF)
3.3.1 Language logic
4 Bytecode reference
4.1 Formal syntax (BNF)
4.2 Instructions
5 Virtual Machine reference
5.1 Introduction
5.1.1 Stack-Based vs Register-Based
5.2 Stack
5.2.1 Initialization
5.2.2 Basic Operations
5.3 CallStack
5.3.1 Memory Layout
5.3.2 Function call mechanism
5.4 Zero flag
5.5 End cases
6 Franc C Compiler
6.1 Parameters list and long descriptions
6.1.1 FILESNAME
6.1.2 –output FILENAME
6.1.3 –no-larousse
6.1.4 –debug
6.2 Larousse
6.3 Functioning
6.3.1 Getting inputs
6.3.2 Lexing and parsing
6.3.3 Combination
6.3.4 Compilation
6.3.5 Verifications
6.3.6 Output
6.3.7 Justifications
6.4 Lexer & Parsing reference
6.4.1 Safety measures
6.4.2 Error list
6.4.3 Known caveats
6.5 Compilation reference
6.5.1 Function call parameters, return value and variables
6.5.2 Safety measures
6.5.3 Intended undefined behaviours
6.6 Readable assembly
6.6.1 Syntax of the readable assembly
6.6.2 List of instructions
7 Franc C Virtual Machine
7.1 Input Descriptions
7.1.1 Bytecode File Format
7.1.2 Command-Line Interface
7.2 Architecture Implementation
7.2.1 Memory Layout
7.2.2 Instruction Set Overview
7.2.3 Function Call Convention
7.3 Exceptions List
7.3.1 Load-Time Errors
7.3.2 Runtime Errors
7.4 Known Caveats
7.4.1 Undefined Behaviors
7.4.2 Performance Limitations
7.4.3 Portability Issues
8 Larousse
8.1 Introduction (motives)
8.2 Functions
8.3 Académie Franc C’Aise
Next:
Other documentations
[
Contents
]