CfPBoK
by
Vadim Zaytsev
David J. Pearce
SLE 2013
🛠️
SLE 2014
🪑
SLE 2014 SI
📝
SLE 2015
🛠️
🔍
SLE 2018
💺
Summary
2
papers in
2
bundles
Top 3 popular topics:
T5D: Formal Methods
(
2
times)
T1A: Design
(
1
times)
T1B: Static Semantics
(
1
times)
Top 2 coauthors:
Lindsay Groves
(
1
times)
∅
(
1
times)
Made
6
contributions (see below)
List of contributions
(
SLE 2013
)
Coauthored
Whiley: A Platform for Research in Software Verification
(
David J. Pearce
,
Lindsay Groves
)
(
SLE 2014
)
Served as a
Programme Chair
(
SLE 2014 SI
)
Served as an
Editor
(
SLE 2015
)
Authored
The Whiley Rewrite Language (WyRL)
(
David J. Pearce
)
(
SLE 2015
)
Served on
PC
(
SLE 2018
)
Served as a
General Chair
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.