StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Alexander Kogtenkov

Rating
1531.95 (16,898th)

Reputation
3,835 (43,745th)

Page: 1 2 3 4 5

Title	Δ
Eiffel is_equal() function	0.00
Function for quantifying lists: syntax and type error (Isabelle)	0.00
Getting the error "VEVI: Variable is not properly set" in...	0.00
Read key in Eiffel console application	0.00
Eiffel - How do I make my classes readable?	0.00
Eiffel - How can I initialize a LINKED_LIST?	0.00
Eiffel programming exercises	0.00
Is there a language allowing dynamic binding for arguments?	0.00
How to document/assert when inheritance induces a precondition for...	0.00
Is an exception a valid postcondition?	0.00
What's the point of the local variable in Eiffel's attached...	0.00
Developer exception starting a client-server model on Eiffel net	0.00
Visitor pattern and compiler code generation, how to process assign...	0.00
Post-Condition Violation with Feature in Eiffel	0.00
Translating Eiffel loops to languages that do not support loop inva...	0.00
Odd "Check_VIOLATION" failed test case in Eiffel	0.00
Interface of read_character and last_character in STD_FILES	0.00
Implementing Iterator Class in Eiffel	0.00
storing two classes in a data stucture at once in EIFFEL	0.00
Does Eiffel avoid ALL nulls?	0.00
Plone : unbound prefix in configure.zcml	-4.38
Finding a object in a HASH_TABLE using item feature on EIFFEL	0.00
Why must dynamically typed languages store variable names as strings?	0.00
Sledgehammer gives insufficient proof tactic	0.00
Check Assertion Violation in Eiffel using Array_List	+3.62
Isabelle / isar: Implementing equational reasoning	0.00
Ensure clause in Eiffel regarding across syntax	+3.70
Creating dynamic objects (Eiffel)	-0.34
Eiffel C Compiler Error	0.00
Finding Loop Iterator in static Analysis	0.00
How to add and remove objects from an array in Eiffel	0.00
How to use Eiffel functions?	0.00
Command line compilation of Hello World in Eiffel (Unknown root cla...	0.00
Double function in Isabelle	+3.83
What would be the disadvantages of building a website purely in Eif...	-0.30
How to call classes methods in eiffel	+3.70
Apply lemmas to bound variables	0.00
Expressing a simple declarative proof about exponents in Isar	0.00
EiffelStudio: no autocomplete for local entities	0.00
Storing pointers wrong/not using Unordered_map.find correctly	-0.22
Examples of error handling in Eiffel	-0.22
Printing out / showing detailed steps of proof methods (like simp)...	+4.04
Factoring out a lemma premise as a definition causes failure in pro...	0.00
Search for element in tree in Isabelle	0.00
Which Eiffel compilers use Earley parsing	0.00
Eiffel Iterable implementation on MAP?	+3.87
how to write into a file without deleting its previouse content in...	+3.91
Is it possible to inform compilers that it's safe to move an IF out...	-0.19
initializing Without Creating An Instance (Eiffel)	0.00
What is a simple do-once technique?	-0.23