<--- Back to Details
First PageDocument Content
Recursion / Subroutines / Procedural programming languages / Program analysis / Type system / Type theory / Fold / Prolog / Array programming / Software engineering / Computing / Computer programming
Date: 2013-07-11 13:00:59
Recursion
Subroutines
Procedural programming languages
Program analysis
Type system
Type theory
Fold
Prolog
Array programming
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: www.texasmulticoretechnologies.com

Download Document from Source Website

File Size: 800,79 KB

Share Document on Facebook

Similar Documents

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document

Software engineering / Computer programming / Computing / Object-oriented programming languages / KeY / Symbolic execution / Thread / LLVM / Parallel computing / D / Concolic testing

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

DocID: 1xVzE - View Document

Static program analysis / Software engineering / Computing / Programming language theory / Control flow analysis / Soot / Call graph / Compiler / Analysis / Data-flow analysis / SIGPLAN / Java

Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

DocID: 1xVvx - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

STATE COORDINATOR CHIEF DEPUTY POLICY & PROGRAM ANALYSIS EXTERNAL AFFAIRS

DocID: 1xV7p - View Document