Error Mining for Regular Expression Patterns Giuseppe Castagna1 , Dario Colazzo2 , and Alain Frisch3 1 CNRS, Ecole Normale Supérieure de Paris, France 2 LRI, Université Paris Sud, Orsay, France

First Page		Document Content
Date: 2013-12-06 16:18:28 Type theory Pattern matching Type system PCDATA Regular expression XML Computing Software engineering Data types		Error Mining for Regular Expression Patterns Giuseppe Castagna1 , Dario Colazzo2 , and Alain Frisch3 1 CNRS, Ecole Normale Supérieure de Paris, France 2 LRI, Université Paris Sud, Orsay, France Add to Reading List Source URL: www.cduce.org Download Document from Source Website File Size: 185,09 KB Share Document on Facebook

	Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors DocID: 1xVKz - View Document
	The Academic Failure with Alloy Alloy Amazing Type System DocID: 1xV4R - View Document
	A Type System for Privacy Properties DocID: 1xTOq - View Document
	A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR DocID: 1xTwi - View Document
	Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter DocID: 1vrAi - View Document