Aditi Barthwal

According to our database, Aditi Barthwal authored at least 4 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

A mechanisation of some context-free language theory in HOL4.

Aditi Barthwal, Michael Norrish

J. Comput. Syst. Sci., 2014

2010

Mechanisation of PDA and Grammar Equivalence for Context-Free Languages.

Aditi Barthwal, Michael Norrish

Proceedings of the Logic, 2010

A Formalisation of the Normal Forms of Context-Free Grammars in HOL4.

Aditi Barthwal, Michael Norrish

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

Verified, Executable Parsing.

Aditi Barthwal, Michael Norrish

Proceedings of the Programming Languages and Systems, 2009