Keno/InterfaceSpecs.jl
View on GitHub ↗ ★ 59 Julia
Playground for formal specifications of interfaces in Julia
3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2023-09-22 · latest 2023-11-19
20082026
-
…because it's quite close to the reasons why Julia works well. My current thoughts on that are here: https://github.com/Keno/InterfaceSpecs.jl but there's other proposals also.
comment by KenoFischer · 2023-11-19 · in Julia as a unifying end-to-end workflow language on the Frontier exascale system -
▲ 4
Formal specifications and static checking of interfaces in Juliastory by amkkma · 2023-09-22 · 0 comments
-
▲ 2
Composable static typing, proofs and formal verification for Juliastory by amkkma · 2023-09-22 · 0 comments