Sparkle

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
• Proof Tool Support for Explicit Strictness
• Title not available (Why is that?)
• 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
• Proving Properties of Lazy Functional Programs with Sparkle
• Title not available (Why is that?)

This page was built for software: Sparkle