community
active
leiden_hybrid_concepts
label: sonnet
community:leiden_hybrid_concepts-run4-c18Homomorphism-based program specification
Deriving laws and specifications algebraically from semantic homomorphisms in functional programming.
2 members. Each node is clickable.
Loading graph…
Drawn from 2 sources
The papers/notes whose extracted claims & findings make up this cluster.
Claims (2)
- Homomorphism as SpecificationDenotation acts as algebraic homomorphism, making implementations correct-by-construction when they satisfy this property
- Laws for free from semantic homomorphism.