StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Nick Battle

Rating
1512.72 (53,998th)

Reputation
498 (274,132nd)

Page: 1

Title	Δ
How to model accepting a pdf file as input in VDM++	0.00
How to use precondition to ensure that the inputs are of type int o...	0.00
Is there type casting in VDM++?	0.00
Set/sequence summation operator?	+3.83
How do I transform/operate on a set/sequence?	0.00
Pure operation call may not be referentially transparent?	0.00
VDM-SL - function accepts a set of integers and returns an identica...	0.00
i have two errors in vdm sl project , 1) Action = <OPEN_BARRIER&...	0.00
Printing to console in VDM++?	-0.10
Unknown error on VDM++ toolbox lite	0.00
Pre-condition not working	0.00
Use cases in operations in VDM++	0.00
Function and Product Types Peculiarity	0.00
A recursive function in VDM	0.00
Set comprehension in VDM++	+3.94
Instance variable is not initialized. Why is that?	0.00
Specifikation of operation in VDM++	0.00
How to round a real number?	0.00
Overture error: Name 'BinBuilder()' is not in scope	0.00
Execution in the presence of type bindings	-4.00
Execution in the presence of type bindings	+4.00
Recursive call stack depth	+3.99
Recursive call stack depth	-0.01
Import module from different project in Overture	0.00
From implicit to explicit function definitions	0.00
Overture and Mathematical Syntax	0.00
Implicit functions: currying and totality	0.00
Error in invariant in VDM code	0.00
Overture/Stackoverflow/VDM projects corrupted/vanished	0.00
What does opposite angle brackets <> mean?	0.00
Can I verify test driven development?	+1.02
VDMSL Recursive function minimum value of sequence	0.00
VDMSL Recursive function minimum value of sequence	0.00
Formal methods - Map of price relating cars to price with two sets...	+0.04
VDM++ Toolbox: Operation or function is not in scope using example...	0.00
VDM++ language semicolon	0.00
Temperature logical expressions	0.00
how to write function in VDM++ language	0.00