Luke Ong : Publications

Journal papers

• [1]

  The Safe Lambda Calculus

  William Blum and C.−H. Luke Ong

  In Logic Methods in Computer Science. Vol. 5. No. 1. 2009.

  Details about The Safe Lambda Calculus | BibTeX data for The Safe Lambda Calculus | DOI (10.2168/LMCS-5(1:3)2009) | Link to The Safe Lambda Calculus

Conference papers

• [1]

  Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types

  C.−H. Luke Ong and Steven J. Ramsay

  In Proceedings of the 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011.

  Details about Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types | BibTeX data for Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types | Download  (pdf) of Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types

• [2]

  Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

  M. Hague and C.−H. L. Ong

  In FoSSaCS. 2007.

  Long Version (pdf)

  Details about Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | BibTeX data for Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | Download  (pdf) of Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

Technical reports

• [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. Oxford University Computing Laboratory. October, 2004.

  Details about Safety is not a restriction at level 2 for string languages | BibTeX data for Safety is not a restriction at level 2 for string languages | Download  (ps) of Safety is not a restriction at level 2 for string languages