<--- Back to Details
First PageDocument Content
Scripting languages / Programming paradigms / Relational model / Ruby / Relational algebra / Finitary relation / Function / Logic programming / Lambda calculus / Software engineering / Computing / Mathematics
Date: 2001-04-05 06:25:15
Scripting languages
Programming paradigms
Relational model
Ruby
Relational algebra
Finitary relation
Function
Logic programming
Lambda calculus
Software engineering
Computing
Mathematics

Between Functions and Relations in Calculating Programs

Add to Reading List

Source URL: www.cs.nott.ac.uk

Download Document from Source Website

File Size: 452,48 KB

Share Document on Facebook

Similar Documents

Computer security / Security engineering / Prevention / Crime prevention / Cryptography / Information governance / National security / Data quality / Information science / Middleware / Mandatory access control / Database

SAFEWEB: A Middleware for Securing Ruby-based Web Applications Petr Hosek1 , Matteo Migliavacca1 , Ioannis Papagiannis1 , David M. Eyers2 , David Evans3 , Brian Shand4 , Jean Bacon3 , and Peter Pietzuch1 1

DocID: 1xVrJ - View Document

Computing / Software engineering / Computer programming / Parallel computing / Graphics hardware / Object-oriented programming languages / GPGPU / Cross-platform software / CUDA / General-purpose computing on graphics processing units / AOS and SOA / Thread

Object Support in an Array-Based GPGPU Extension for Ruby Matthias Springer Hidehiko Masuhara Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Japan

DocID: 1xV2l - View Document

Computing / Computer architecture / Computer engineering / Cache coherence / Cache coherency / Concurrent computing / Parallel computing / Cache / Controller / CPU cache

Learning gem5 – Part III Modeling Cache Coherence with Ruby and SLICC Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

DocID: 1xUst - View Document

Computing / Computer programming / Software engineering / Character encoding / Data types / Encodings / Formal languages / Primitive types / String / Rope / Comparison of programming languages / C++ string handling

Specializing Ropes for Ruby Kevin Menard Chris Seaton Benoit Daloze

DocID: 1xTH9 - View Document

PDF Document

DocID: 1xSpi - View Document