<--- Back to Details
First PageDocument Content
Program analysis / Programming language theory / Setjmp.h / Dynamic programming language / Type system / Eval / Static program analysis / JavaScript / Programming language / Software engineering / Computing / Control flow
Date: 2015-04-17 18:22:37
Program analysis
Programming language theory
Setjmp.h
Dynamic programming language
Type system
Eval
Static program analysis
JavaScript
Programming language
Software engineering
Computing
Control flow

V viewpoints DOI:

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 1,44 MB

Share Document on Facebook

Similar Documents

Tracking Using Dynamic Programming for Appearance-Based Sign Language Recognition Philippe Dreuw, Thomas Deselaers, David Rybach, Daniel Keysers, and Hermann Ney Lehrstuhl f¨ur Informatik VI – Computer Science Departm

DocID: 1sOTd - View Document

Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Programming languages / Procedural programming languages / Cross-platform software / Clojure / Multiple dispatch / Type system / Dynamic programming language

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

DocID: 1ru0R - View Document

Computational linguistics / Dynamic programming / Dynamic time warping / Time series analysis / Natural language processing / Information science / Information retrieval / Artificial intelligence / Computing / Speech recognition

Telefonica Research System for the Spoken Web Search task at Mediaeval 2012 Xavier Anguera Telefonica Research Edificio Telefonica - DiagonalBarcelona, Spain

DocID: 1rsMT - View Document

Software engineering / Programming language theory / Computer programming / Operations research / Mathematical optimization / ALGOL 68 / Dynamic programming / Dolls / Reduction / TRAP / Optimization problem

Nordic Collegiate Programming Contest NCPC 2007 October 6th, 2007 Solution sketches A B

DocID: 1qtMH - View Document

Software engineering / Computing / Programming language theory / Type theory / Concurrent programming languages / Program analysis / Type system / Go / Sheaf / Orbifold / CurryHoward correspondence

A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

DocID: 1q5ig - View Document