1.A Type System for Tom

作　　者：Claude Kirchner ;Pierre-Etienne Moreau ;Cláudia Tavares

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;21:51-63.doi:10.4204/EPTCS.21.5

出版社：Open Publishing Association

文章 ID：83119858

文章详细全文下载
2.Optimizing Pattern Matching Compilation by Program Transformation

作　　者：Emilie Balland ;Pierre-Etienne Moreau

出　　处：Electronic Communications of the EASST. 2006 ;3(0).

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100466027

文章详细全文下载
3.A faithful encoding of programmable strategies into term rewriting systems

作　　者：Horatiu Cirstea ;Serguei Lenglet ;Pierre-Etienne Moreau

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:74-88.doi:10.4230/LIPIcs.RTA.2015.74

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

文章 ID：186846882

文章详细全文下载
4.Optimizing Pattern Matching Compilation by Program Transformation

作　　者：Emilie Balland ;Pierre-Etienne Moreau

出　　处：Electronic Communications of the EASST. 2007 ;3.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185429453

文章详细全文下载
5.Formal Validation of Pattern Matching code

作　　者：Claude Kirchner ;Pierre-Etienne Moreau ;Antoine Reilles

出　　处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.697

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

文章 ID：186848176

文章详细

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

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pierre-Etienne Moreau")))) )) ) )"

	Pierre-Etienne Moreau	5篇
	Claude Kirchner	2篇
	Emilie Balland	2篇
	Antoine Reilles	1篇
	Cláudia Tavares	1篇

	Electronic Communications of the EASST	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2015	1篇
	2009	1篇
	2007	1篇
	2006	2篇

	Horatiu Cirstea	1篇
	Serguei Lenglet	1篇