22 $\lambda$-calculus with reflection 2012-07-12T11:26:19.763

18 When are two simulations not a bisimulation? 2012-03-20T16:28:13.400

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

16 Problems Implementing Closures in Non-functional Settings 2012-03-12T07:52:37.183

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

15 Scott-continuous functions: an alternative definition 2012-04-19T22:29:19.940

14 Can a program language be malleable enough to allow programs to extend language semantics 2012-04-28T20:45:30.713

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

11 Confluence proof for a simple rewriting system 2012-04-05T18:36:04.420

11 How to deal with arrays during Hoare-style correctness proofs 2012-04-10T08:00:09.683

11 what is semantics? 2012-11-06T16:41:54.460

11 Programming language semantics prototyping tool 2016-11-01T16:04:40.247

9 Is reference counting GC vs. tracing GC a language property or an implementation property? 2015-12-20T20:35:15.173

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

8 Formally describing a new domain specific programming language 2012-08-24T14:56:26.330

8 Getting started with Program Analysis 2013-03-22T20:09:12.373

8 What is a sort in programming language semantics? 2013-05-02T13:38:36.920

8 Is there a canonical definition of “pure” function? 2014-05-05T07:13:02.967

8 Which fixpoint is Haskell list type? 2014-10-01T17:52:27.537

8 Type-classes for type inference 2017-05-24T10:04:50.537

7 Inheritance, and dynamic access to members/attributes and methods in Java-like languages 2012-11-20T13:08:40.163

7 Lambda Calculus: How do evaluation contexts "work" 2014-03-23T00:44:53.920

7 Is Semantic Preservation Soundness (or Correctness) or Completeness 2016-10-19T19:14:39.517

7 Difference between row-polymorpism and bounded polymorpishm? 2017-03-08T03:47:10.430

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

6 Reflection on Concurrency 2012-03-12T16:55:45.647

6 Late and Early Bisimulation 2012-03-21T15:58:38.290

6 Dynamic changes to classes or context activation -- how to treat existing objects in a consistent way? 2012-08-13T22:06:34.507

6 Difference between multimethods and overloading 2012-09-21T19:49:37.353

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 When are Dynamic and Lexical Scoping equivalent? 2012-09-22T19:05:10.233

5 Call by value-result vs. call by reference? 2012-11-08T03:45:38.873

5 What is a linearization point? 2012-12-03T19:04:17.580

5 Formally describing a sensor network language 2013-02-18T19:20:41.680

5 Defining a "repeat until"-construct in Denotational semantics 2013-11-15T19:03:40.283

5 Why is there readonly (const) in C++, but not writeonly (sink)? 2014-06-26T20:15:22.503

5 Are syntax and semantic just 2 structures such that one is a model of the other? 2015-08-15T08:36:34.740

5 Why injection into sum type apparently leads to ambiguity? 2016-04-17T17:09:58.983

5 What does it mean to "strengthen the precondition and weaken the postcondition" in Hoare logic? 2016-11-02T18:09:57.347

4 Hoare triple for assignment P{x/E} x:=E {P} 2012-05-16T09:09:24.887

4 Looking for a simple example of Transition Semantics 2012-09-20T09:58:10.913

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

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

4 Meaning of type inference rule for abstraction in lambda-calculus 2014-07-24T02:01:01.243

4 Why can't a programming language be both fully recursive and polymorphic 2015-08-02T06:05:26.873

4 Typing dependent pattern matching 2016-01-15T09:21:05.973

4 The importance of the language semantics for code generation and frameworks for code generation in model-driven development 2016-04-10T19:30:18.067

4 Is structural induction on terms applicable when a function is involved? 2016-10-19T12:51:51.367

4 Programming Symbols : Instance/Instantiation 2016-11-02T11:30:55.773

4 How to express modalities in lambda calculus - are some extensions required? 2017-06-29T20:32:03.703

4 Why does substitution terminate? 2017-12-12T22:45:59.713

3 How to modify semantic actions when removing left-recursion from a grammer 2012-11-10T16:11:44.337

3 Can we create recursive functions only by using if-else statements? 2013-06-18T17:34:36.170

3 Reference introductory books or articles to Game Semantics 2013-08-27T08:59:11.797

3 How to prove that the composite strategy is prefix-closed and respects the alternation condition? 2013-09-24T07:59:34.780

3 Static scope and dynamic scope 2013-09-26T15:19:51.147

3 What does it mean that a value can only be incremented after it's been loaded into a register? 2014-04-30T14:01:31.777

3 Does a logical system have semantics? 2014-07-16T03:23:54.447

3 How do stable functions 1 => 1 relate to Bool? 2014-09-04T10:58:35.553

3 Description and semantics of program graphs 2015-04-08T16:37:10.290

3 Denotational semantics of expressions with side effects 2015-05-31T14:18:36.083

3 A syntactic property of computing systems: is non-coding DNA universal? 2015-06-25T12:57:23.273

3 premiss of reduction rule (abst) of pure type systems 2016-02-23T13:58:33.460

3 Why do some authors not include summation in the $\pi$-Calculus? 2016-04-21T12:21:29.790

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 How does recursion works when there are 2 or more consecutive recursive calls? 2016-06-05T08:28:50.923

3 Does the closure of a function include the actual parameter passed to the function? 2016-09-13T18:46:08.460

3 What is a predicate transformer? 2016-08-07T17:41:19.050

3 What is the semantic model of types? 2016-09-21T19:09:33.093

3 What kind of formal semantics can describe HTML and CSS? 2016-10-17T12:37:41.617

3 Meaning of $\triangleright$ in programming language semantics 2016-12-07T18:55:31.383

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

3 Programmatically checking equivalence of statements 2017-12-24T19:47:56.570

2 Equality testing of arrays and integers in a procedural language 2012-05-19T06:38:55.350

2 Present syntax rules in a more succinct way 2012-12-10T09:33:16.420

2 Homomorphisms and isomorphisms in an equational calculus 2013-01-17T22:21:50.770

2 Expressing semantics of an array as a function 2013-01-27T18:37:43.773

2 Proving non-confluency and adding an equation to make it confluent and terminating 2013-02-25T21:26:12.353

2 The grammar of the GeoQuery language 2013-04-15T13:22:36.020

2 Is lambda calculus suitable for expressing semantics of non-functional languages? 2013-07-05T08:13:53.170

2 Axiomatic Semantics and Postconditions 2014-02-06T22:17:44.433

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

2 How can I talk about priority inversion if it's impossible to specify priority? 2014-06-03T14:39:54.773

2 Is proof of totality of a semantic function for binary numbers cicular? 2014-06-07T03:20:17.827

2 What are the axioms, inference rules, and (formal) semantics of lambda calculus? 2014-07-16T05:47:03.717

2 Call by need compared to pass by function 2014-07-21T22:38:39.270

2 What do I need to study in order to understand and design a programming language? 2014-12-27T21:50:20.137

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

2 How to prove that justice isn't enough to produce all naturals? 2015-05-16T10:06:44.770

2 Scientific soundness of computer science papers 2015-09-29T10:14:36.353

2 Proving weak simulation 2016-03-29T09:27:15.493

2 Question about Dynamic Scoping example output 2016-04-06T19:44:53.687

2 How exactly does on describe the formal semantics of the Applied $\pi$-Calculus? 2016-04-25T11:26:53.207

2 What are these questions in the PoplMark challenge asking? 2016-06-06T05:11:16.847

2 Quantifiers in lambda calculus 2016-10-19T10:00:08.720