Compilers - PDFSEARCH.IO - Document Search Engine

Compilers
Results: 1282

#	Item
621	The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Add to Reading List Source URL: compcert.inria.fr Language: English - Date: 2014-09-17 05:19:05 Compilers Functional languages Formal methods Logic in computer science Compcert Compiler correctness Compiler Xavier Leroy Coq Software Computing Compiler construction
622	LLVMLinux: Embracing the Dragon Presented by: Behan Webster (LLVMLinux project lead) Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2014-03-27 19:50:11 Clang LLVM Computing platforms Linux kernel Linux Linaro Software Computing Compilers
623	Lecture 12 Parallelization I.  Basic Parallelization II.  Data dependence analysis III.  Interprocedural parallelization Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-02 13:00:17 Programming language implementation Compiler construction Automatic parallelization Static program analysis Compilers Parallel computing Dependence analysis Compiler Data dependency Compiler optimizations Computing Software engineering
624	A Practical Tool Kit for Making Portable Compilers Andrew S. Tanenbaum Hans van Staveren E. G. Keizer Johan W. Stevenson Mathematics Dept. Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Programming language implementation Compiler construction Procedural programming languages Source code Stack machines Compiler optimization Compiler Peephole optimization Assembly language Software engineering Computing Computer programming
625	Microsoft Word - mcm4c_programmer.doc Add to Reading List Source URL: www.marshallsoft.com Language: English - Date: 2014-10-20 12:17:43 Compilers Dynamic-link library Sendmail Windows API Watcom C/C++ compiler MinGW Microsoft Foundation Class Library Borland C++ Microsoft Visual Studio Software Computing Integrated development environments
626	Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama MIT CSAIL char buf = ...; Add to Reading List Source URL: pdos.csail.mit.edu Language: English* - Date: 2013-10-31 19:17:31 Compiler construction Compilers Software bugs C++ Pointer C Undefined behavior Stack Buffer overflow Computing Software Programming language implementation
627	clang reinven&ng the compiler OCL C Add to Reading List Source URL: llvm.org Language: English - Date: 2014-02-02 08:33:17 Compiler construction Compiling tools Parser generators Compilers Clang LLVM Parsing Compiler Syntax Software Computing Programming language implementation
628	Migration Specialties International, Inc. 217 West 2nd Street, Florence, CO[removed][removed]E-mail: [removed] www.MigrationSpecialties.com Bruce Claremont, May 2006 Add to Reading List Source URL: www.migrationspecialties.com Language: English - Date: 2015-02-27 19:39:08 Hewlett-Packard Instruction set architectures Compilers Migration RPG VAX RPG II OpenVMS VAX IBM RPG Digital Equipment Corporation Computing Computer architecture Cluster computing
629	LLVM Auto-Vectorization Past Present Future Renato Golin Add to Reading List Source URL: llvm.org Language: English - Date: 2014-02-02 10:01:56 Compiler optimizations Compilers Vectorization Loop optimization LLVM SIMD GNU Compiler Collection Blocks Computing Software Computer programming
630	LLVMLinux: The Linux Kernel with Dragon Wings Presented by: Jan-Simon Möller (LLVMLinux Maintainer for x86) Add to Reading List Source URL: llvm.org Language: English - Date: 2014-02-02 08:43:23 Clang LLVM Gallium3D Linux kernel GNU Compiler Collection OpenCL Phoronix Test Suite D Linux Software Computing Compilers

UPDATE