Contact
DMCA
Privacy
Robuta
https://github.com/XSnow/ECOOP2020
GitHub - XSnow/ECOOP2020: A Type-Directed Operational Semantics for a Calculus with a Merge Operator
A Type-Directed Operational Semantics for a Calculus with a Merge Operator - XSnow/ECOOP2020
operational semantics
github
type
directed
https://www.ijcai.org/proceedings/2018/27
An Operational Semantics for a Fragment of PRS | IJCAI
Electronic proceedings of IJCAI 2018
operational semantics
fragment
prs
ijcai
https://www.easychair.org/cfp/topic.cgi?tid=410
All CFPs for "operational semantics"
operational semantics
cfps