<--- Back to Details
First PageDocument Content
Software engineering / Computing / Computer programming / Array data type / Array data structure / D
Date: 2014-07-19 03:23:04
Software engineering
Computing
Computer programming
Array data type
Array data structure
D

Weakly Equivalent Arrays J¨ urgen Christ Jochen Hoenicke

Add to Reading List

Source URL: smt2014.it.uu.se

Download Document from Source Website

File Size: 160,68 KB

Share Document on Facebook

Similar Documents

3D computer graphics / Computer graphics / Computer-aided engineering / Polygon mesh / STL / Constructive solid geometry / 3D modeling / Mesh / Geometry processing

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Probability and statistics / Probability theory / Artificial intelligence / Machine learning / Computational statistics / Graphical models / Computational linguistics / Natural language processing / Conditional random field / Probabilistic programming language / Inference / Support vector machine

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

DocID: 1xVVx - View Document

Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

DocID: 1xVE0 - View Document

Mathematics / Algebra / Combinatorial optimization / Mathematical logic / Mathematical optimization / Operations research / Algorithm / Sheaf / Branch and bound / Universal property / Equation solving / Boolean algebra

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

DocID: 1xVuR - View Document

Concurrent computing / Parallel computing / Computing / Computer programming / Manycore processor / Data parallelism / General-purpose computing on graphics processing units / Parallel programming model / Multi-core processor / Thread / CUDA / OpenMP

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

DocID: 1xTRO - View Document