goose is a programming language created in 2018.
| #3688on PLDB | 6Years Old |
Goose is a programming language in development that aims at being (yet another) c++ alternative.
uint(32) lomarf( uint(32) a, uint(32) b )
requires [ a>b ]
ensures [ @result>0 ]
{
return a - b
}