Verified, Executable Parsing

Citation

Barthwal, A & Norrish, M 2009, 'Verified, Executable Parsing', in Giuseppe Castagna (ed.), Programming Languages and Systems (ETAPS 2009), Springer, Berlin, Germany, pp. 160-174.

Year

2009

ANU Authors

Mr Michael Norrish

Field of Research

Computational Logic And Formal Languages

Updated: 15 April 2021 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers