Login / Signup

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim BreitnerPhilippa GardnerJaehyun LeeSam LindleyMatija PretnarXiaojia RaoAndreas RossbergSukyoung RyuWonho ShinConrad WattDongjun Youn
Published in: CoRR (2023)
Keyphrases
  • formal language
  • formal semantics
  • software engineering
  • representation language
  • databases
  • data storage