The LDL - Language Development Laboratory
No abstract available.
Related papers
- Provable Correctness of Prototype Interpreters in LDL CC 1994
- Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming ECOOP 2014
- A Laboratory for Teaching Object-Oriented Thinking OOPSLA 1989
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory TOPLAS 1981
- A Note on Hennessy's "Symbolic Debugging of Optimized Code" TOPLAS 1985
- BioScript: programming safe chemistry on laboratories-on-a-chip OOPSLA 2018
- QVM: an efficient runtime for detecting defects in deployed systems OOPSLA 2008
- Coherent Models for Object-Oriented Analysis OOPSLA 1991