CfPBoK
by
Vadim Zaytsev
Lijesh Krishnan
SLE 2012
⭐
SLE 2012 SI
⭐
Summary
2
papers in
2
bundles
Top 3 popular topics:
T5D: Formal Methods
(
2
times)
T5B: Language Description Analysis
(
2
times)
T3A: Meta-languages
(
1
times)
Top coauthor:
Eric Van Wyk
(
2
times)
Made
2
contributions (see below)
List of contributions
(
SLE 2012
)
Coauthored
Termination Analysis for Higher-Order Attribute Grammars
(
Lijesh Krishnan
,
Eric Van Wyk
)
(
SLE 2012 SI
)
Coauthored
Monolithic and modular termination analyses for higher-order attribute grammars
(
Lijesh Krishnan
,
Eric Van Wyk
)
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
