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

Field of Research

  • Computational Logic And Formal Languages

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