goose - Programming language

#4324on PLDB

6Years Old

Example from the web:

uint(32) lomarf( uint(32) a, uint(32) b )
    requires [ a>b ]
    ensures [ @result>0 ]
{
    return a - b
}

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 630 · Donate · feedback@pldb.io