Login / Signup
Clement Blaudeau
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Natural Language Parser
Stochastic Grammar
Tree Bank
Dependency Structure
Top Venues
Proc. ACM Program. Lang.
CoRR
CPP
</>
Publications
</>
Clement Blaudeau
,
Fengyun Liu
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model.
Proc. ACM Program. Lang.
6 (OOPSLA2) (2022)
Clement Blaudeau
,
Natarajan Shankar
A Verified Packrat Parser Interpreter for Parsing Expression Grammars.
CoRR
(2020)
Clement Blaudeau
,
Natarajan Shankar
A verified packrat parser interpreter for parsing expression grammars.
CPP
(2020)