Travelled to:1 × France
Collaborated with:P.D.Mosses K.Fisher
Talks about:step (3) counterpart (1) function (1) semant (1) compon (1) small (1) evalu (1) deriv (1) time (1) base (1)
Person: Ferdinand Vesely
DBLP: Vesely:Ferdinand
Contributed to:
2014
2019Wrote 2 papers:
- WRLA-2014-MossesV #component #named #semantics
- FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.
- ESOP-2019-VeselyF #functional
- One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts (FV, KF), pp. 205–231.