CDuce - PDFSEARCH.IO - Document Search Engine

CDuce
Results: 27

#	Item
11	OOP and XML Alain Frisch http://www.cduce.org/ D´ epartement d’Informatique ´ Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Technical communication XML EXist VTD-XML XMLBeans Computing Web standards Markup languages
12	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 Language: English - Date: 2013-12-06 16:18:28 Type theory Pattern matching Type system PCDATA Regular expression XML Computing Software engineering Data types
13	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
14	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
15	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
16	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
17	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
18	Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Mathematics Tree automaton Tree traversal Pushdown automaton Deterministic automaton Formal language Regular expression Muller automaton Automata theory Theoretical computer science Computer science
19	CDuce: an XML-Centric Language Presenter: Walter Chang Overview What is CDuce? Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:17:34 Data types XML Type system XML-RPC Computing Markup languages Technical communication
20	Greedy regular expression matching Alain Frisch INRIA Luca Cardelli MSRC Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Pattern matching Regular expressions Procedural programming languages Data types Type theory Subtype polymorphism TRE ALGOL 68 Luca Cardelli Software engineering Computing Computer programming