The following pages link to Sparkle (Q21782):
Displaying 11 items.
- Programmed strategies for program verification (Q2864527) (← links)
- Proving Properties of Lazy Functional Programs with Sparkle (Q3599177) (← links)
- Proof Tool Support for Explicit Strictness (Q3623948) (← links)
- (Q3653869) (← links)
- EditorArrow: An arrow-based model for editor-based programming (Q5298793) (← links)
- Temporal Properties of Clean Programs Proven in Sparkle-T (Q5302891) (← links)
- Functional and Logic Programming (Q5308027) (← links)
- Reasoning About Deterministic Concurrent Functional I/O (Q5423552) (← links)
- Implementation of Functional Languages (Q5466583) (← links)
- (Q5475626) (← links)
- (Q5851847) (← links)