ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
781	A OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs ´ Antoniu Pop, INRIA and Ecole Normale Sup´erieure Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-02-19 11:16:13 Models of computation Programming paradigms Inter-process communication Procedural programming languages Parallel computing OpenMP Stream processing Stream ALGOL 68 Computing Computer programming Software engineering
782	Specification of Zinc and MiniZinc Zinc version 0.11 MiniZinc version 1.1 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-08-26 04:03:22 Computer programming Literal Type system Boolean data type Primitive data type C Array data type Enumerated type ALGOL 68 Data types Software engineering Computing
783	High Assurance Software John Launchbury CEO, Galois Inc A Personal View Add to Reading List Source URL: ulf.wiger.net Language: English - Date: 2008-02-29 09:47:44 Procedural programming languages Cross-platform software C programming language Data types C Initialization Pointer Struct ALGOL 68 Software engineering Computing Computer programming
784	PDF Document Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:16 Widget toolkits Application programming interfaces Cross-platform software GTK+ Traceroute Futures and promises ALGOL 68 GTK Software Computing Computer programming
785	R Internals Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: ftp.acc.umu.se Language: English - Date: 2015-05-01 05:06:25 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
786	Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-25 10:02:21 Model theory Procedural programming languages Institution Theoretical computer science Sigma-algebra Permutation Specification Standard ML ALGOL 68 Computing Mathematics Software engineering
787	High-level Process Control in Eden? Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen Priebe, and Nils Weskamp Philipps-Universit¨ at Marburg, Fachbereich Mathematik und Informatik Hans Meerwein Straße, DMarbur Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2012-06-14 04:34:47 Algorithmic skeleton Generic programming Parallel computing Threads Haskell Glasgow Haskell Compiler Programming language ALGOL 68 Computing Software engineering Computer programming
788	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.4) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
789	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: ftp.acc.umu.se Language: English - Date: 2015-05-02 05:06:52 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
790	BACnet Errata ANSI/ASHRAE STANDARD This document lists all known errata to ANSI/ASHRAEas of the above date. Each entry is cited first by clause, then page number. Entries 1 – 37 were incorpor Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2011-08-23 06:33:37 BACnet Building automation Communication Abstract Syntax Notation One SQL ALGOL 68 Computing Software engineering Programming language theory

UPDATE