Documentation

Getting started

• Build instructions

Usage examples

• Tutorial
• Conditional Specialisation
• Unconditional parameter specialisation
• Specialising with respect to command-line arguments or environment
• Specialising with respect to file contents
• Customising specialisation paths

Other user-oriented documentation

• List of command-line options

Developer documentation

A high-level technical description can be found in my thesis, particularly chapter 4.

The following are essentially excerpts from it, aiming to give a more accessible overview for people wanting to adapt, alter and debug LLPE:

• Overview
• Symbolic memory objects
• Dead store and instruction elimination
• Handling multithreading
• Conditional specialisation and runtime checks
• Emitting specialised code
• Specialising with respect to files and input streams
• LLPE’s GUI