diff options
| author | JJ | 2024-01-05 02:37:28 +0000 |
|---|---|---|
| committer | JJ | 2024-01-05 02:37:28 +0000 |
| commit | 439c5d3ef5fb8b8ebba28d45088d9b91db7418ac (patch) | |
| tree | 279051b346a86c782b3b7ad3a954f1f8dab9bb54 /plt/pragmatics.md | |
| parent | 5ffac59a93388e16e90dbdd1c4f68d6a2f2c057a (diff) | |
meow
Diffstat (limited to 'plt/pragmatics.md')
| -rw-r--r-- | plt/pragmatics.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/plt/pragmatics.md b/plt/pragmatics.md new file mode 100644 index 0000000..54c413f --- /dev/null +++ b/plt/pragmatics.md @@ -0,0 +1,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 |