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
2009ANU Authors
Field of Research
- Computational Logic And Formal Languages