https://github.com/hengxin/fspl
fspl: Formal Semantics of Programming Languages
https://github.com/hengxin/fspl
formal-semantics programming-language
Last synced: 8 months ago
JSON representation
fspl: Formal Semantics of Programming Languages
- Host: GitHub
- URL: https://github.com/hengxin/fspl
- Owner: hengxin
- Created: 2020-02-12T07:52:46.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-02-12T10:30:04.000Z (over 5 years ago)
- Last Synced: 2025-01-07T19:45:09.080Z (9 months ago)
- Topics: formal-semantics, programming-language
- Homepage:
- Size: 9.46 MB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0