1.The Safe Lambda Calculus

作　　者：William Blum ;C.-H. Luke Ong

出　　处：Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:3)2009

出版社：Technical University of Braunschweig

文章 ID：47109794

文章详细全文下载
2.Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

作　　者：Matthew Hague ;Luke Ong

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:14)2008

出版社：Technical University of Braunschweig

文章 ID：47109827

文章详细全文下载
3.The Difference Î»-Calculus: A Language for Difference Categories

作　　者：Mario Alvarez-Picallo ;C.-H. Luke Ong

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:32:1-32:21.doi:10.4230/LIPIcs.FSCD.2020.32

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823209

文章详细全文下载
4.Automated techniques for higher-order program verification

作　　者：Naoki KOBAYASHI ;Luke ONG ;David Van HORN

出　　处：Progress in Informatics. 2013 ;(10):157-165.doi:10.2201/NiiPi.2013.10.9

出版社：National Institute of Informatics

文章 ID：217948462

文章详细
5.Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars

作　　者：Jonathan Kochems ;C.H. Luke Ong

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:187-202.doi:10.4230/LIPIcs.RTA.2011.187

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845920

文章详细全文下载

	有本地全文	4篇
	有全文链接	1篇

	计算技术、计算机技术	4篇
	信息与知识传播	1篇

	德国	4篇
	日本	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Luke Ong")))) )) ) )"

	C.-H. Luke Ong	2篇
	C.H. Luke Ong	1篇
	David Van HORN	1篇
	Jonathan Kochems	1篇
	Luke ONG	1篇

	Luke Ong	1篇
	Mario Alvarez-Picallo	1篇
	Matthew Hague	1篇
	Naoki KOBAYASHI	1篇
	William Blum	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	2篇
	Progress in Informatics	1篇

	2020	1篇
	2013	1篇
	2011	1篇
	2009	1篇
	2008	1篇