Compilers - PDFSEARCH.IO - Document Search Engine

Compilers
Results: 1282

#	Item
671	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
672	BEAMJIT: An LLVM based just-in-time compiler for Erlang Frej Drejhammar 140407 Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-09 10:33:41 Programming language implementation Virtual machines Compiler construction Cross-platform software Compilers PyPy Erlang LLVM SpiderMonkey Software Computing System software
673	StackAnalyzer for ARM StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-02-17 09:23:11 ARM architecture Microcontrollers Compilers ARM9 GNU Compiler Collection Mbed microcontroller Software Computing Computer architecture
674	Open Source Open Possibilities Compiling Linux with LLVM Presented by: Mark Charlebois Presentation Date: [removed] Add to Reading List Source URL: llvm.org Language: English - Date: 2012-04-17 03:27:52 Compilers Computing platforms Cross-platform software Clang C programming language LLVM Procedural programming languages FreeBSD C Software Computing Computer programming
675	EMSCRIPTEN COMPILING LLVM BITCODE TO JAVASCRIPT (?!) ALON ZAKAI (MOZILLA) @kripken Add to Reading List Source URL: llvm.org Language: English - Date: 2013-12-10 16:40:33 Scripting languages Compilers LLVM Subroutines Clang Just-in-time compilation Blocks JavaScript Lua Software Computing Cross-platform software
676	clang-tidy Lint-like checks and beyond (Daniel Jasper - [removed]) Goal ● Lint - a C program verifier: Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-09 10:33:41 Compilers LLVM C Static program analysis Sequence container Software Computing Clang
677	The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-09 10:33:41 Compilers LLVM Clang Virtual machines Compiler Static single assignment form Just-in-time compilation D Software Programming language implementation Compiler construction
678	Nut/OS Software Manual Manual Revision: 2.8 Issue date: July 2009 Copyright[removed]by egnite GmbH All rights reserved. Add to Reading List Source URL: www.ethernut.de Language: English - Date: 2009-07-21 11:59:21 Compilers Instruction set architectures Microcontrollers GNU Compiler Collection Cross compiler AVR32 Xcode SYS Linux Software Computing Cross-platform software
679	Attacking Client Side JIT Compilers October 10, 2011 Revision 1.3 http://www.matasano.com/research/jit/ Add to Reading List Source URL: leafsr.com Language: English - Date: 2012-03-06 19:54:03 X86 architecture Compiler construction Just-in-time compilation MOV Interpreter LLVM Bytecode Java CPUID Computing Software System software
680	Autovectorization with LLVM Hal Finkel April 12, 2012 The LLVM Compiler Infrastructure 2012 European Conference Add to Reading List Source URL: llvm.org Language: English - Date: 2012-04-16 12:23:02 Compiler optimizations Parallel computing Compilers LLVM Vectorization SIMD Static single assignment form Argonne National Laboratory AltiVec Computing Software engineering Compiler construction

UPDATE