<--- Back to Details
First PageDocument Content
Source code / Functional languages / Lisp programming language / Pattern matching / Formal languages / Here document / Racket / Scheme / Eval / Software engineering / Computer programming / Computing
Date: 2013-09-20 11:42:55
Source code
Functional languages
Lisp programming language
Pattern matching
Formal languages
Here document
Racket
Scheme
Eval
Software engineering
Computer programming
Computing

Add to Reading List

Source URL: www.ccs.neu.edu

Download Document from Source Website

File Size: 174,82 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