<--- Back to Details
First PageDocument Content
Programming paradigms / Declarative programming / Alloy / SQL / Imperative programming / C / Programming language / Abstraction / Constraint satisfaction / Computing / Software engineering / Computer programming
Date: 2012-02-19 15:58:07
Programming paradigms
Declarative programming
Alloy
SQL
Imperative programming
C
Programming language
Abstraction
Constraint satisfaction
Computing
Software engineering
Computer programming

Add to Reading List

Source URL: people.csail.mit.edu

Download Document from Source Website

File Size: 531,38 KB

Share Document on Facebook

Similar Documents

Software engineering / Declarative programming / Computing / Functional programming / Programming paradigms / Evaluation strategy / Functional reactive programming / Digital signal processing / Formal methods / Arrow / International Conference on Functional Programming / Signal

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

DocID: 1xVd0 - View Document

Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming

DocID: 1t69T - View Document

Introduction Grapefruit in detail Declarative Programming of Interactive Systems with Grapefruit Wolfgang Jeltsch

DocID: 1t583 - View Document

Chapter 14 Improving Push-based FRP Wolfgang Jeltsch1 Category: Research Abstract: Push-based implementations of Functional Reactive Programming allow for writing reactive programs in a declarative style and execute the

DocID: 1t1D0 - View Document

Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

DocID: 1sWoH - View Document