Travelled to:1 × USA
Collaborated with:P.Gardner A.Schmitt T.P.Jensen A.Charguéraud D.Filaretti S.Maffeis D.Naudziuniene G.Smith
Talks about:interpret (1) mechanis (1) specif (1) skelet (1) semant (1) trust (1) sript (1) java (1)
Person: Martin Bodin
DBLP: Bodin:Martin
Contributed to:
20142019Wrote 2 papers:
- POPL-2014-BodinCFGMNSS #specification
- A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
- POPL-2019-BodinGJS #semantics
- Skeletal semantics and their interpretations (MB, PG, TPJ, AS), p. 31.