A comparison of big-step semantics definition styles
  • Metaadatok
Tartalom: http://hdl.handle.net/10831/115528
Archívum: EDIT
Gyűjtemény: Publikációk
ELTE Folyóiratok, kiadványok
MTMT Tudományos publikációk
Egyetemi folyóiratok, kiadványok
Tudományos publikációk (IK)
Tudományos publikációk (TTK)
Annales Universitatis Scientiarum de Rolando Eötvös Nominatae
Sectio Computatorica
Cím:
A comparison of big-step semantics definition styles
Létrehozó:
Bereczky, Péter
Horpácsi, Dániel
Thompson, Simon
Dátum:
2024
Téma:
formal semantics
natural semantics
pretty-big-step semantics
functional big-step semantics
Coq
Nyelv:
angol
Típus:
info:eu-repo/semantics/article
Formátum:
application/pdf
Azonosító:
elte:35526316
elte:57
elte:Annales Sec. Comp.
elte:Annales Universitatis Scientiarum de Rolando Eötvös Nominatae Sectio Computatorica
elte:141
elte:117
Létrehozó:
info:eu-repo/semantics/openAccess