Sparkle
From MaRDI portal
Software:21782
swMATH9803MaRDI QIDQ21782FDOQ21782
Author name not available (Why is that?)
Cited In (11)
- 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: An arrow-based model for editor-based programming
- 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
