Sparkle
From MaRDI portal
Cited in
(18)- scientific article; zbMATH DE number 5036161 (Why is no real title available?)
- Programmed strategies for program verification
- Functional and Logic Programming
- Proving composed specifications of Clean programs in Sparkle-T
- Proof Tool Support for Explicit Strictness
- CLEAN
- EditorArrow
- Fudgets
- ELM-ART
- Yampa
- TkGofer
- Sparkle-T
- 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
