Script.NET is an actively used programming language created in 2007.

12Years Old 1,189Users 0Jobs

Example code from Wikipedia:

function Push(item)
[
//Limit to 10 items
 pre(me{{Not a typo|.}}Count < 10 ); 
 post();
 invariant();
]
{
 //me is mutated object, 
 //stack in this case
 me.Push(item);
}

function Pop()
[//Check emptiness hardik
 pre(me{{Not a typo|.}}Count > 0);
 post();
 invariant();
]
{
 return me.Pop();
}

stack = new Stack<|int|>();

//Create Mutant hardik
//1. Set Functions, override stack{{Not a typo|.}}Push
mObject=[Push->Push,PopCheck->Pop];
//2. Capture object
mObject.Mutate(stack);

for (i=0; i<5; i++)
  mObject.Push(i);

Console.WriteLine((string)mObject.PopCheck());
Edit

Last updated February 11th, 2019