L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

Laboratory

Lambda-lifting and CPS conversion in an imperative language

Lambda-RBAC: Programming with Role-Based Access Control

Language embeddings that preserve staging and safety

Language Support for Declarative Future Commitments

Language Support for Optional Functionality

Lazy Evaluation and Delimited Control

Lazy mixin modules and disciplined effects

Lazy Pointer Analysis

Learning Hybrid Algorithms for Vehicle Routing Problems

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications

Liberalizing Dependency

Lightweight Time Modeling in Timed Creol

Linear Tabling Strategies and Optimizations

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

Linguistic Reflection in Java

Liquidsoap: a High-Level Programming Language for Multimedia Streaming

Live-Musikprogrammierung in Haskell

Liveness of Heap Data for Functional Programs