Spec Sharp is a historical programming language created in 2004.

15Years Old 1,020Users 0Jobs

Example code from Wikipedia:

static int Main(string![] args)
        requires args.Length > 0;
        ensures return == 0;
    {
        foreach(string arg in args)
        {
            Console.WriteLine(arg);
        }
        return 0;
    }
Edit

Last updated February 11th, 2019