ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
991	Course List for Cross-Institutional Course Enrolment Scheme (2nd Semester, Institution: City University of Hong Kong Subject Code Add to Reading List Source URL: www.cityu.edu.hk Language: English - Date: 2014-12-15 03:40:30 Cursor SQL ALGOL 68 City University of Hong Kong Hong Kong Programming language theory Computing
992	Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................ Add to Reading List Source URL: pig.apache.org Language: English - Date: 2014-07-05 01:10:41 Query languages Procedural programming languages Control flow Foreach loop Pig ALGOL 68 D SQL ATS Computing Software engineering Computer programming
993	Templates of slides for P3 1 A brief update on your problem (important) Describe in English Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-10-09 11:10:53 Algorithm Mathematical logic Theoretical computer science Software engineering ALGOL 68 Computing Substituent Programming language theory Chemical nomenclature Organic chemistry
994	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Cornell University 7 April 1999 Abstract Type dispatch constructs are an important feature of many programming languages. Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:40 Procedural programming languages Tagged union Type theory ALGOL 68 Truncated dodecahedron Denotational semantics Programming language theory Computing Software engineering
995	The Development of the C Language Dennis M. Ritchie Bell Labs/Lucent Technologies Murray Hill, NJ[removed]USA [removed] Add to Reading List Source URL: www.dvara.net Language: English - Date: 2004-03-15 18:39:37 Procedural programming languages BCPL B C ALGOL 68 System programming language Pointer ALGOL PL/I Computing Software engineering Computer programming
996	Microsoft Word - ALCDEF_Standard.docx Add to Reading List Source URL: minorplanetcenter.net Language: English - Date: 2014-12-11 21:07:12 Procedural programming languages C Cross-platform software FITS SQL ALGOL 68 Null Computing Software engineering Programming language theory
997	How to Authenticate any Data Structure Andrew Miller, Michael Hicks, Jonathan Katz,Elaine Shi University of Maryland {amiller,mwh,jkatz,elaine}@cs.umd.edu ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Data management Lookup ALGOL 68 Binary trees Computing Programming language theory Software engineering
998	In the old days, they “defined procedures” like this. 4 Defining Your Own Procedures Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:12 Subroutines Functional programming Computability theory Function Scheme Parameter ALGOL 68 Constructor Lisp Software engineering Computer programming Computing
999	OpenCLTM API 1.0 Quick Reference Card OpenCL (Open Compuing Language) is a mulivendor open standard for general-purpose parallel programming of heterogeneous systems that include CPUs, GPUs and other processors. OpenCL p Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-28 00:09:26 Computing C++ Struct Sizeof Write C++ classes OpenCL ALGOL 68 Computer programming C programming language Software engineering
1000	Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus To cite this version: Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2015-04-15 11:05:08 Software bugs Software testing Logic in computer science Debugging Test case Infinite loop ALGOL 68 Precondition Pointer Software engineering Computer programming Computing