Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
151	Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-03-11 04:28:36 Compiler construction Programming language implementation Debugging HTML Validator ALGOL 68 Static single assignment form Structure Compiler Software engineering Computing Computer programming
152	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
153	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
154	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
155	CDuce Un langage fonctionnel pour manipuler des documents XML Alain Frisch INRIA Rocquencourt (projet Cristal) Add to Reading List Source URL: www.cduce.org Language: French - Date: 2013-12-06 16:18:34
156	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
157	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
158	21st International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms IMPORTANT DATES Add to Reading List Source URL: www.aofa10.at Language: English - Date: 2009-12-10 03:48:54 National Institute for Research in Computer Science and Control Mathematics Discrete mathematics Vienna Algorithm Peter Winkler Theoretical computer science Rocquencourt Combinatorics
159	Streaming XML transformations using term rewriting Alain Frisch Keisuke Nakano INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-10-09 03:48:51 Transformation languages XML XML transformation language Technical communication XSLT XQuery LL parser Stack Preprocessor Computing Markup languages Functional languages
160	CDuce: un aper¸cu Alain Frisch INRIA Rocquencourt 15 octobre 2004 GT Cristal Add to Reading List Source URL: www.cduce.org Language: French - Date: 2013-12-06 16:18:32