<--- Back to Details
First PageDocument Content
Cross-platform software / Language Integrated Query / Zero-knowledge proof / Multitier architecture / C / Inline expansion / Regular expression / Type system / Monad / Computing / Software engineering / Computer programming
Date: 2014-07-09 20:04:43
Cross-platform software
Language Integrated Query
Zero-knowledge proof
Multitier architecture
C
Inline expansion
Regular expression
Type system
Monad
Computing
Software engineering
Computer programming

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 1,40 MB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Object-oriented programming languages / Subroutines / Scripting languages / Control flow / Compiler optimizations / Foreach loop / Scala / Inline expansion / D

The Optimizer in
 Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Why? •

DocID: 1qWVb - View Document

Software engineering / Computer programming / Subroutines / Computing / Profiling / Scope / Performance metric / Call stack / Inline expansion / Recursion / Metrics

Effectively Presenting Call Path Profiles of Application Performance Laksono Adhianto, John Mellor-Crummey and Nathan R. Tallent Department of Computer Science Rice University Houston, TX

DocID: 1qHeo - View Document

Software engineering / Computer programming / Computing / Subroutines / Type theory / Lambda calculus / Theoretical computer science / Data types / Inline expansion / Mutual recursion / Recursion / Standard ML

Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow

DocID: 1qxEI - View Document

Software engineering / Computer programming / Computing / Subroutines / Electronic design automation / Compiler construction / Programming language implementation / Theoretical computer science / High-level synthesis / Recursion / Compiler / Inline expansion

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

DocID: 1quSj - View Document

Software engineering / Computer programming / Software / Subroutines / Recursion / Assembly languages / Programming language implementation / Scheme / Tail call / Inline expansion / GNU Compiler Collection / INT

waside-optimized-code.dvi

DocID: 1qdOK - View Document