Pauillac - PDFSEARCH.IO - Document Search Engine

Pauillac
Results: 100

#	Item
51	Filiation scientique Gérard Huet November • Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2009-11-27 17:53:50
52	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
53	S P É C I A L Bordeaux Les 10 chercheurs qui dopent l’économie Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2003-07-08 09:55:36
54	Automates, machines, moteurs r´ eactifs G´erard Huet Notes de cours MPRI, 2008 October 15, 2008 Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2008-10-15 10:21:12
55	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
56	Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France, Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2008-02-08 10:34:04
57	PDF Document Add to Reading List Source URL: pauillac.inria.fr - Date: 2005-07-26 05:52:31
58	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
59	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-02-13 03:53:53
60	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering

UPDATE