|
|
PLC'06: Scope
Last modified
2007-12-02 10:50
Topics of interest include, but are not limited to,
the following:
- Design and processing of special-purpose languages
- Implementation of languages features
- Language support for security and safety
- Compiler construction
- Program representation
- Program analysis
- Dynamic compilation and optimization techniques
- Program optimizations and transformations
- Interaction between compilers and architectures
- Storage management techniques
- Compilation for distributed, heterogeneous systems
- Languages and compilers for parallel computing
- Power-aware compilation
- Code optimization
- Functional programming
- Constraint programming
- The unified modeling language (UML)
- Metamodeling
- Object constraint language (OCL)
- Verification and model consistency
- Algebraic and logic programming
- Architectural support for programming languages
- Type-theoretic languages
- Object-oriented languages
- High-level programming models and supportive environments
- Specialization of declarative programs
- Run-time systems
- Domain and requirement analysis for programming languages
- The safety systems of programming languages
- Evolving programming languages
- Compilation and interpretation techniques
- Program representation and analysis
- Code generation and optimization
- Compilation techniques for embedded, mobile, or low power code
- Compilers for parallel and distributed computing
- Compilation techniques for security and safety
- Design of novel language constructs
- Domain specific languages
- Software tools (debuggers, profilers, code verifiers, decompilers,
silicon compilers, ...)
- Parsing methods
- Loop analysis
- The future of programming
|
|
|
|