Compiler-compiler - PDFSEARCH.IO - Document Search Engine

Compiler-compiler
Results: 4119

#	Item
1	Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016 Add to Reading List Source URL: thev.net Language: English - Date: 2016-09-28 19:55:36 Software engineering Programming language implementation Computer programming Compiler construction Compilers Functional languages LLVM Haskell Cabal GHC Static single assignment form Compiler
2	c Copyright 2018 Eric Mullen Pushing the Limits of Compiler Verification Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2018-06-13 13:51:54 Software engineering Computing Computer programming Compiler construction Formal methods Logic in computer science Theoretical computer science Compilers Compiler correctness CompCert Formal verification Compiler
3	Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong Rajkishore Barik Add to Reading List Source URL: thev.net Language: English - Date: 2016-07-05 13:12:15 Artificial neural networks Machine learning Applied mathematics Cybernetics Artificial neuron Backpropagation Recurrent neural network Deep learning Multilayer perceptron Neuron Neural network Perceptron
4	c Copyright 2012 Laura Effinger-Dean Interference-Free Regions and Their Application to Compiler Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:10:09 Computing Software engineering Computer programming Compiler construction Concurrency Software design patterns Computer memory Optimizing compiler Synchronization Memory model Parallel computing Thread
5	CS 294 – Secure Computation February 16 and 18, 2016 Lecture 9 and 10: Malicious Security - GMW Compiler and Cut and Choose, OT Extension Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2016-03-10 13:39:26 Cryptographic protocols Electromagnetism Garbled circuit Secure multi-party computation IP Theory of computation NC Electronic circuit Applied mathematics Commitment scheme
6	Writing A Compiler In Go Thorsten Ball Chapter 1 Compilers & Add to Reading List Source URL: compilerbook.com Language: English Computer architecture Computing X86 instructions Microprocessors Stack machine Bytecode Opcode Instruction set architecture Dalvik Interpreter INT Java bytecode
7	A Verified Compiler from Isabelle/HOL to CakeML Add to Reading List Source URL: lars.hupel.info Language: English Mathematics Theoretical computer science Software engineering Mathematical logic Data types Automated theorem proving Logic programming Lambda calculus Substitution De Bruijn index Term Standard ML
8	CINDA ENTRY FORM Japan Charged-Particle Nuclear Reaction Data Group Date Compiler Punched Add to Reading List Source URL: jcprg.org Language: English - Date: 2007-02-17 03:21:53
9	Article: METHODS FOR EVALUATING THE DETERIORATION OF NITRATE MOTION PICTURE FILM Author(s): Maria Fernanda Valverde Topics in Photographic Preservation, Volume 7. Pages: 66-72 Compiler: Robin E. Siegel Add to Reading List Source URL: resources.conservation-us.org Language: English - Date: 2015-09-07 04:19:54

UPDATE