Pauillac - PDFSEARCH.IO - Document Search Engine

Pauillac
Results: 100

#	Item
61	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
62	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
63	A Simple, Verified Validator for Software Pipelining (verification pearl) Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-11-02 08:42:35 Symbol Software pipelining
64	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
65	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
66	Validating LR(1) Parsers Jacques-Henri Jourdan1,2 , Fran¸cois Pottier2 , and Xavier Leroy2 1 2 ´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-01-06 07:45:45 Syntax Linguistics Compiler construction Combinatorics on words LR parser Lookahead Compiler-compiler SLR grammar String Formal languages Combinatorics Parsing
67	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
68	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
69	Validating Register Allocation and Spilling Silvain Rideau1 and Xavier Leroy2 1 2 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-01-05 13:20:19 Register allocation NOP Static single assignment form Calling convention Subroutine Instruction set Machine code Computing Computer programming Software engineering
70	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-21 03:21:14

UPDATE