Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
41	Mechanized semantics for compiler verification or: CompCert’s tortuous path through semantics land Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr - Date: 2012-12-13 01:33:53
42	Ontology-Based Integration of XML Web Resources Bernd Amann1 , Catriel Beeri2 , Irini Fundulaki1 , and Michel Scholl1 1 Cedric-CNAM and INRIA-Rocquencourt Add to Reading List Source URL: users.ics.forth.gr - Date: 2010-09-29 11:49:00
43	High Order Derivatives and Decomposition of Multivariate Polynomials Jean-Charles Faugère, and Ludovic Perret SALSA LIP6, Université Paris 6 & INRIA Paris-Rocquencourt , ludovic.perret@lip6 Add to Reading List Source URL: issac2009.kias.re.kr - Date: 2009-08-15 05:08:43
44	Compilation et machines abstraites pour les langages fonctionnels Xavier Leroy INRIA Rocquencourt ´ Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2007-06-06 03:58:20
45	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
46	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
47	Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-01-12 04:26:34 Computing Software Java platform Cross-platform software Java Card Applet Java MIDlet Sandbox ActiveX Java applet Java virtual machine
48	Computing isogenies of small degrees on Abelian Varieties Jean-Charles Faugère1 , David Lubicz2,3 , Damien Robert4 1 INRIA, Centre Paris-Rocquencourt, SALSA Project 2 Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2014-08-03 16:15:38 Algebra Abstract algebra Mathematics Niels Henrik Abel Algebraic curves Abelian variety Isogeny Abelian group Elliptic curve Localization of a category Algebraic group Torsion
49	Meroon V3: A Small, Efficient and Enhanced Object System Christian Queinnec∗ LIP6 & INRIA–Rocquencourt Abstract Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:51 Software engineering Computer programming Computing Method Object-oriented programming C++ Object Euclidean plane geometry Polygon Constant Constructor Objective-C
50	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics

UPDATE