# Tag Info

Accepted

### What is this fraction-like "discrete mathematics"–style notation used for formal rules?

This is a standard notation for an inference rule. The premises are put above a horizontal line, and the conclusion is put below the line. Thus, it ends up looking like a "fraction", but with one or ...
• 158k

### What does ⊢ mean in operational semantics?

This is something that I think is not explicitly pointed out or not pointed out with enough emphasis in many, even introductory, CS/type theory/logic texts. $\vdash$ doesn't mean anything. Instead, ...
Accepted

### What is the definition of a redex and what are they for in programming languages literature?

A redex is an expressions on which we can perform a computation step, such as: fst (a, b) is a redex, it computes to a ...
• 30.3k
1 vote
Accepted

### From big-step to small-step semantics

Here are a couple articles on the matter. From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation and Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step ...
• 214
1 vote
Accepted

### Examples of interesting semantics to study during a small project for a graduate Semantics course

You could add more flow control to IMP, like (simple) exceptions, or break to exit early from a while loop. You could some ...
• 14.5k
1 vote

### What's the difference between a calculus and a programming language?

"Programming language" and "calculus" are polysemic terms, that is, they mean different things depending on the context. In some contexts, programming languages and calculi have converged to refer to ...
• 3,276
1 vote

### What's the difference between a calculus and a programming language?

The goal of calculi is not just to study program equivalences, it's to study programs. An example of fancy calculus is this where the strategy (call-by-value or call-by-name) is determined locally. It ...
• 1,245

Only top scored, non community-wiki answers of a minimum length are eligible