AoPA
From MaRDI portal
Software:21811
No author found.
Related Items (8)
Unnamed Item ⋮ Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Towards Certifiable Implementation of Graph Transformation via Relation Categories ⋮ Contributions to a computational theory of policy advice and avoidability ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Calculating a linear-time solution to the densest-segment problem ⋮ Program Calculation in Coq ⋮ Algebra of programming in Agda: Dependent types for relational program derivation
This page was built for software: AoPA
