Similar Items: A program slicer for LF
- A development environment for reactive systems
- A model checker for the LF system
- Combining reverse debugging and live programming towards visual thinking in computer programming
- LF : a language for reliable embedded systems
- Relations and programs
- The language approach to the development of reliable concurrent programs