| Necromancer | Answered a question more than 60 days later with score of 5 or more. This badge can be awarded multiple times. |
Uday Reddy earned this badge 6 times |
jun 5 at 12:21
How to define the formal and informal semantics of an algorithm as accurately as possible?
jan 24 at 15:18
Why naturals instead of integers?
jan 2 at 12:39
Books on programming language semantics
mar 2 '12 at 6:57
What are the differences between logical relations and simulations?
feb 26 '12 at 20:30
What constitutes denotational semantics?
feb 26 '12 at 1:08
What is the theoretical basis of imperative programming?
