Sauthoff, Georg: Bellman's GAP : a 2nd generation language and system for algebraic dynamic programming. 2010
Inhalt
- Introduction
- Problem Statement
- Role of Dynamic Programming in Bioinformatics
- Related Dynamic Programming Frameworks
- Algebraic Dynamic Programming
- Bellman's GAP Overview
- Bellman's GAP Language
- Design Goals
- New ADP features
- Example
- Lexical Structure
- Program Structure
- Selected Language Features
- Bellman's GAP Compiler
- Compiler Architecture
- Example
- Semantic Analyses
- Unreachable Non-Terminals
- Productive Checking
- Yield Size Analysis
- Loop Checking
- Max size filter propagation
- Table Dimension Analysis
- Table Design
- Type Checking
- List analysis
- Dependency analysis
- Non-terminal inlining
- Index analysis
- Code Generation
- Bellman's GAP Modules
- Bellman's GAP Pages
- Benchmarks
- Conclusion
- Outlook
- Bibliography