|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:21How to define the formal and informal semantics of an algorithm as accurately as possible?
jan 24 at 15:18Why naturals instead of integers?
jan 2 at 12:39Books on programming language semantics
mar 2 '12 at 6:57What are the differences between logical relations and simulations?
feb 26 '12 at 20:30What constitutes denotational semantics?
feb 26 '12 at 1:08What is the theoretical basis of imperative programming?