swMATH9803MaRDI QIDQ21782FDOQ21782
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/3-540-46028-4_4
Cited In (17)
- Title not available (Why is that?)
- Functional and Logic Programming
- Programmed strategies for program verification
- Proving composed specifications of Clean programs in Sparkle-T
- Proof Tool Support for Explicit Strictness
- Implementation of Functional Languages
- EditorArrow
- Fudgets
- ELM-ART
- Yampa
- EditorArrow: An arrow-based model for editor-based programming
- TkGofer
- Sparkle-T
- Temporal Properties of Clean Programs Proven in Sparkle-T
- Reasoning About Deterministic Concurrent Functional I/O
- A semantic model for proving properties of clean object I/O programs
- Proving Properties of Lazy Functional Programs with Sparkle
This page was built for software: Sparkle
