GDSL: A Universal Toolkit for Giving Semantics to Machine Language
No abstract available.
Related papers
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems CAV 2019
- Specifying Representations of Machine Instructions TOPLAS 1997
- Distributed communication in ML JFP 2000
- Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit OOPSLA 1991
- Giving semantics to program-counter labels via secure effects POPL 2021
- Type Universes as Kripke Worlds ICFP 2025
- Relocating Machine Instructions by Currying PLDI 1996
- The SemGuS Toolkit CAV 2024