17 What is this fraction-like "discrete mathematics"–style notation used for formal rules? 2016-08-17T23:08:16.403

16 Difference Between Small and Big-step Operational Semantics 2015-06-05T17:26:05.660

12 What questions can denotational semantics answer that operational semantics can't? 2016-09-25T23:05:32.173

9 Why does the state remain unchanged in the small-step operational semantics of a while loop? 2016-10-16T12:19:36.613

9 What's the difference between a calculus and a programming language? 2017-06-13T04:24:16.873

7 Reduction rule for IF? 2012-05-01T03:47:18.940

7 Formal model of execution for Java (or general imperative language) 2017-10-13T17:20:23.687

6 Is there relation between K-Framework and structural operational semantics? 2016-09-29T20:44:25.577

6 When would one use equational dynamics? 2016-10-08T02:12:10.213

5 Notation for operational semantics that can be used in code comments 2012-07-23T21:37:12.833

5 What does ⊢ mean in operational semantics? 2016-03-15T18:27:38.363

4 How does one deduce small step operational semantics? 2013-03-07T00:29:07.013

4 TAPL: Explanation and example(s) for satisfied 2013-03-08T14:05:18.400

4 Double, down facing arrow in operational semantics 2013-10-18T17:06:53.357

3 How to write operational semantics rule for havoc x? 2016-03-28T16:34:10.730

3 What is the significance of ⟨B, s⟩ -> ⟨B', s'⟩ as the initial rule in this question about small-step semantics? 2016-05-20T19:57:55.033

3 What makes an operational semantics good? 2016-05-31T11:21:03.017

3 Termination of deterministic term rewriting 2016-10-15T15:09:38.290

3 How are observational equivalence, contextual equivalence, and extensional equality related? 2017-05-24T19:19:49.720

3 What formal representation is commonly used to describe compiler optimizations? 2017-06-15T14:13:24.733

3 How to decide between operational, denotational, and axiomatic semantics? 2017-09-01T22:36:20.560

2 defining the operational semantics of a concurrent language 2013-12-28T21:01:38.003

2 Small-step semantics: for-loops 2014-04-21T10:18:48.197

2 Proof via induction for small-step semantics 2015-02-07T08:38:46.463

1 Rule induction principles in Harper's PFPL 2014-03-17T03:10:30.117

1 Substitution-based Operational Semantics of algebraic datatypes 2014-11-25T11:43:29.263

1 Program equivalence with Structural induction 2016-07-20T17:21:30.630

1 Operational Semantics - Include SKIP, SEQUENCE and IF? 2016-11-11T01:20:58.850

1 How is a Transition System in Operational Semantics defined? 2016-11-13T02:43:00.940

0 How to prove the following properties of Small-step semantics? 2014-04-04T00:28:36.010

0 Proving the small-step semantics of factorial program 2014-04-26T21:58:20.370

0 How to check if two program are simulated or bisimulated? 2015-06-04T18:14:18.717

0 Reasonable definition of beta-equivalence in big-step semantics 2016-10-11T20:39:04.840