CfPBoK
by
Vadim Zaytsev
Eric Walkingshaw
SLE 2011
⭐
SLE 2016
🔍
SLE 2017
🔍
SLE 2018
🔍
Summary
1
papers in
1
bundles
Top 3 popular topics:
T1A: Design
(
1
times)
T1C: Behavioural Semantics
(
1
times)
T5D: Formal Methods
(
1
times)
Top coauthor:
Martin Erwig
(
1
times)
Made
4
contributions (see below)
List of contributions
(
SLE 2011
)
Coauthored
Semantics First! Rethinking the Language Design Process
(
Martin Erwig
,
Eric Walkingshaw
)
(
SLE 2016
)
Served on
PC
(
SLE 2017
)
Served on
PC
(
SLE 2018
)
Served on
PC
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
