blob: 54c413f3f02f2ce749a56a37932987760b7b1615 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
---
layout: plt
title: computation/pragmatics
---
## operational semantics
big-step vs. little-step
## Resources:
- https://cs.stackexchange.com/questions/43294/difference-between-small-and-big-step-operational-semantics
- https://langdev.stackexchange.com/questions/3352/how-do-i-formally-define-a-programming-languages-meaning-step-by-step
|
