LLVM - PDFSEARCH.IO - Document Search Engine

LLVM
Results: 444

#	Item
181	Introduction to Virtual Machines with VMKit Harris Bakiras, Supervisors : Gaël Thomas, Gilles Müller LIP6 REGAL TEAM – INRIA (Paris/France) Add to Reading List Source URL: vmkit.llvm.org Language: English - Date: 2013-05-07 10:09:00 Compiler construction Programming language implementation Cross-platform software Virtual machines Computing platforms LLVM Just-in-time compilation Java Bytecode Computing Software System software
182	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-12-01 15:39:42 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
183	An LLVM Backend for OCaml Colin Benner June 7, Introduction As part of my bachelor thesis I have implemented a new backend for the OCaml nativecode compiler ocamlopt for the AMD64 architecture. It uses the Low Lev Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:14 Compilers Compiler construction Functional languages Procedural programming languages LLVM Programming language implementation OCaml Compiler Static single assignment form Software engineering Computing Computer programming
184	1.2 VMKit Tutorial Instanciating the ToyVM Add to Reading List Source URL: vmkit.llvm.org Language: English - Date: 2013-05-07 10:08:59 Method C++ Object-oriented programming Compiler construction Compilers LLVM Objective-C Constructor Just-in-time compilation Software engineering Computer programming Computing
185	Polly - Polyhedral optimization in LLVM Tobias Grosser Hongbin Zheng Universität Passau Add to Reading List Source URL: polly.llvm.org Language: English - Date: 2012-02-15 16:11:19 Compiler construction Compilers Programming language implementation Parallel computing Loop optimization LLVM Polytope model Clang Vectorization Computing Software Compiler optimizations
186	The LLVM Instruction Set and Compilation Strategy Chris Lattner Vikram Adve University of Illinois at Urbana-Champaign lattner,vadve @cs.uiuc.edu Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Programming language implementation Compiler construction Data types Type theory Compilers LLVM Pointer Compiler optimization Compiler Software engineering Computing Computer programming
187	Charles University in Prague Faculty of Mathematics and Physics arXiv:1403.6997v1 [cs.PL] 27 MarMASTER THESIS Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-03-27 20:36:50 Compiler optimizations Compiler construction Programming language implementation GNU Compiler Collection LLVM Link-time optimization Compiler Gold Standard Performance Evaluation Corporation Software Computing Compilers
188	Type-safe Runtime Code Generation with LLVM Trevor L. McDonell1,2 1 Manuel M. T. Chakravarty2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2015-03-01 20:27:46 Data types Functional programming Type theory Compiler construction Procedural programming languages LLVM Type system Static single assignment form C Software engineering Computing Computer programming
189	Introduction aux Machines Virtuelles avec VMKit VMKit un substrat de machine virtuelle Ingénieur : Harris Bakiras, Responsables : Gaël Thomas, Gilles Müller Add to Reading List Source URL: vmkit.llvm.org Language: French - Date: 2013-05-07 10:08:59
190	PDF Document Add to Reading List Source URL: www.usenix.org Language: English - Date: 2014-02-27 22:49:53 Compilers Hardware description languages LLVM VHDL Toolchain GNU Compiler Collection Linux Verilog Software Computing Programming language implementation

UPDATE