operational-semantics Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
42 | All Time | 28.6% unanswered |
Top operational-semantics Answerers
Last 30 Days
Top operational-semantics Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
operational-semantics × 42semantics × 25
programming-languages × 13
small-step-semantics × 7
formal-languages × 6
denotational-semantics × 5
formal-methods × 4
proof-techniques × 3
lambda-calculus × 3
term-rewriting × 3
terminology × 2
compilers × 2
notation × 2
induction × 2
turing-machines × 1
optimization × 1
reference-request × 1
logic × 1
satisfiability × 1
recursion × 1
type-theory × 1
functional-programming × 1
concurrency × 1
turing-completeness × 1
java × 1