Compiler-compiler - PDFSEARCH.IO - Document Search Engine

Compiler-compiler
Results: 4119

#	Item
471	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software Computing Compiler optimizations Compiler construction Programming language implementation Undefined behavior Optimizing compiler Compiler Inline expansion Constant folding Loop-invariant code motion Program optimization
472	Fast Binary Translation: Translation Efficiency and Runtime Efficiency Mathias Payer Department of Computer Science ETH Zurich Abstract—Fast binary translation is a key component for Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Software Software optimization Programming language implementation Profilers Compiler construction Arrays Inline expansion Binary translation DynamoRIO Self-modifying code
473	Extending the VisualAge Smalltalk Environment, Part 2 by Eric Clayberg This is the second in a series of articles in which we will explore the rich suite of tools provided with the VisualAge Smalltalk environment. In las Add to Reading List Source URL: www.instantiations.com Language: English - Date: 2011-03-08 12:02:04 Software engineering Computer programming Computing Object-oriented programming languages Compiler construction Smalltalk Class Class browser Eval Self This Cascading Style Sheets
474	omniidl — The omniORB IDL Compiler Duncan Grisby AT&T Laboratories Cambridge June Add to Reading List Source URL: www.omniorb-support.com Language: English - Date: 2009-07-31 06:28:45
475	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems Tiark Rompf1 , Kevin J. Brown2 , HyoukJoong Lee2 , Arvind K. Sujeeth2 , Manohar Jonnalagedda4 , Nada Amin4 , Georg Ofenbeck5 , Alen Stoj Add to Reading List Source URL: drops.dagstuhl.de Language: English Software engineering Software Computer programming Programming language implementation Compiler construction Functional languages Object-oriented programming languages Parsing Compiler Metaprogramming Preprocessor Interpreter
476	A Fast Compiler for NetKAT Steffen Smolka Spiridon Eliopoulos ⇤ Nate Foster Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-08-31 18:42:14
477	Regent: A High-Productivity Programming Language for HPC with Logical Regions Elliott Slaughter Wonchan Lee Add to Reading List Source URL: regent-lang.org Language: English - Date: 2015-12-29 23:09:54 Compiler construction Programming language implementation Compilers Compiler optimizations Parallel computing Optimizing compiler Ada Program optimization LLVM Compiler GNU Compiler Collection Just-in-time compilation
478	Compiler Validation via Equivalence Modulo Inputs Vu Le, Mehrdad Afshari, Zhendong Su University of California, Davis llvm bug 14972 Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2014-06-17 01:50:42
479	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point

UPDATE