Constant folding - PDFSEARCH.IO - Document Search Engine

Constant folding
Results: 31

#	Item
1	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Concurrent computing Computing Computer architecture X86 instructions SIMD AltiVec Streaming SIMD Extensions Processor register SSE2 Symbolic execution MMX Constant folding
2	i Jason W. Kim and Terrance E. Boult EECS Dept. Lehigh University Room 304 Packard Lab. 19 Memorial Dr. W. Bethlehem, PAUSA jwk2 tboult @eecs.lehigh.edu Add to Reading List Source URL: www.vast.uccs.edu Language: English - Date: 2003-12-24 21:58:15 Compiler optimizations Compiler construction Procedural programming languages Programming language implementation Subroutines Static single assignment form Global value numbering Optimizing compiler Constant folding Program optimization Inline expansion Compiler
3	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
4	Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules, Add to Reading List Source URL: pp.info.uni-karlsruhe.de Language: English - Date: 2015-01-20 17:49:37 Software Compiler optimizations Computer programming Peephole optimization Superoptimization Constant folding Compiler Program optimization Satisfiability modulo theories Expression Static single assignment form GNU Compiler Collection
5	Design and Implementation of Tree SSA Diego Novillo Red Hat Canada Abstract Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler optimizations Cross-platform software Static single assignment form Compilers Programming language implementation GNU Compiler Collection Constant folding Compiler C Software Computing Compiler construction
6	Tree SSA A New Optimization Infrastructure for GCC Diego Novillo Red Hat Canada, Ltd. Abstract Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler construction Compiler optimizations Programming language implementation Cross-platform software Procedural programming languages Static single assignment form GNU Compiler Collection Constant folding Compiler Software engineering Computing Software
7	Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-03-22 02:52:44 Compiler optimizations Software Compiler construction Formal methods Models of computation Compiler Dataflow Constant folding Automated theorem proving Programming language implementation Computing Software engineering
8	Partial evaluation based on three-address form c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia November 18th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-18 07:53:28 Compiler optimizations Functional languages Compiler construction Programming language implementation Constant folding Stack Compiler Static single assignment form ATS Computing Software engineering Computer programming
9	1 Lots of authors Static Single Assignment Book Tuesday 8th July, 2014 Add to Reading List Source URL: ssabook.gforge.inria.fr Language: English - Date: 2014-07-08 12:41:27 Computing Compiler construction Static single assignment form Register allocation Constant folding Program optimization Algorithm Continuation-passing style Data-flow analysis Compiler optimizations Software engineering Programming language theory
10	Occam’s Razor in Metacomputation: the Notion of a Perfect Process Tree Robert Glück1 Andrei V. Klimov2 Institut für Computersprachen University of Technology Vienna A-1040 Vienna, Austria Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Constant folding Graph Matching Applied mathematics Mathematics Theoretical computer science Graph theory