<--- Back to Details
First PageDocument Content
Concurrency control / Predicate logic / Programming paradigms / Transaction processing / Linearizability / Logic programming / First-order logic / Parallel computing / Extensible Storage Engine / Logic / Mathematical logic / Mathematics
Date: 2013-09-26 17:14:49
Concurrency control
Predicate logic
Programming paradigms
Transaction processing
Linearizability
Logic programming
First-order logic
Parallel computing
Extensible Storage Engine
Logic
Mathematical logic
Mathematics

Tech Digest Figure Template_2 column_01-06-12

Add to Reading List

Source URL: www.jhuapl.edu

Download Document from Source Website

File Size: 3,60 MB

Share Document on Facebook

Similar Documents

Programming paradigms / Software engineering / Computing / Programming language / Functional programming / Imperative programming / Reactive programming / Object-oriented programming / Syntax / Scripting language / Declarative programming / Assignment

Programming Paradigms and Beyond Shriram Krishnamurthi and Kathi Fisler Brown University and

DocID: 1xUbO - View Document

Parallel computing / Computer programming / Application programming interfaces / IT infrastructure / Computing / Fortran / OpenMP / Thread

Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U

DocID: 1xTYR - View Document

Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb

DocID: 1u59G - View Document

Mutable objects in R Hadley Wickham December 15, 2010 Abstract Programming paradigms help us understand the differences and similarities between fundamental choices in language design. This paper looks at R in the contex

DocID: 1u45m - View Document

CSSE 403: Programming Language Paradigms Instructor: Dr. Mike Hewner (feel free to call me Buffalo) Email: Office Phone: Cell Phone: it often can be better to text me at

DocID: 1tF1D - View Document