Sparkle
From MaRDI portal
Software:21782
No author found.
Related Items (11)
EditorArrow: An arrow-based model for editor-based programming ⋮ Temporal Properties of Clean Programs Proven in Sparkle-T ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reasoning About Deterministic Concurrent Functional I/O ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ Proof Tool Support for Explicit Strictness ⋮ Implementation of Functional Languages ⋮ Functional and Logic Programming ⋮ Programmed Strategies for Program Verification
This page was built for software: Sparkle
