Luke Ong: Publications
by date |
by title |
by type |
bibtex
|
[1] |
Safety is not a restriction at level 2 for string languages
K. Aehlig, J. G. de Miranda and C.-H. L. Ong
No. RR-04-23, Technical Report, Oxford University Computing Laboratory. October 2004.
Details
|
BibTeX
| Download (ps) |
|
[2] |
Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems
M. Hague, C.-H. L. Ong
In FoSSaCS 2007.
Details
|
BibTeX
| Download (pdf) |
|
