ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
261	Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-05-03 16:27:37 Computing Logic in computer science Theoretical computer science Programming language semantics Abductive reasoning Charles Sanders Peirce Operational semantics ALGOL 68 Algorithm Procedural programming languages Programming language theory Software engineering
262	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
263	OpenMP Application Programming Interface Examples Version 4.0.2 – March 2015 Add to Reading List Source URL: openmp.org Language: English - Date: 2015-05-05 15:25:45 Parallel computing OpenMP Fortran Directive SPMD ALGOL 68 Barrier Unified Parallel C Compiler Computing Computer programming Software engineering
264	CS 349, Summer 2011 Optimizing the Performance of a Pipelined Processor Assigned: June 6, Due: June 21, 11:59PM Harry Bovik () is the lead person for this assignment. Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2013-07-29 12:14:10 X86 instructions Data recovery Dd Disk cloning INT Write ALGOL 68 Compress Benchmark Computing Computer architecture Unix
265	Why DSLs are Important to the DoE Exascale Mission Saman Amarasinghe MIT Outline Add to Reading List Source URL: xstackwiki.modelado.org Language: English - Date: 2014-05-28 16:00:21 Computing C++ classes Reference ALGOL 68 C++ Software engineering Programming language theory
266	Chapter 21 Defining Procedures: Reusing Blocks Programming languages like App Inventor provide a base set of built-in functionality—in App Inventor’s Add to Reading List Source URL: www.appinventor.org Language: English Subroutines Procedural programming languages Parameter Constructor ALGOL 58 ALGOL 68 Software engineering Computer programming Computing
267	Evaluating Community Response to Content on Public Displays Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2013-03-14 15:17:42 Usability Software engineering ALGOL 68 Advertising Computing Bing Human–computer interaction Programming language theory Technical communication
268	Advanced Scientific Programming in Python a Summer School by the G-Node and the Institute of Experimental and Applied Physics, Christian-Albrechts-Universität zu Kiel September 2–7, 2012. Kiel, Germany Evaluation Sur Add to Reading List Source URL: python.g-node.org Language: English - Date: 2014-02-06 06:58:03 ALGOL 68 Object-oriented programming Monty Python Python 9 Software engineering Computing Computer programming
269	CTC Financial Vote List 2.5 Highway Financial Matters March 26, 2015 Add to Reading List Source URL: www.catc.ca.gov Language: English - Date: 2015-03-13 16:20:11 Cryptographic hash functions SHA-2 ALGOL 68 Program management Ada Construction Computing Software engineering Programming language theory
270	24 JulyJ3 Work Plan J3 Add to Reading List Source URL: j3-fortran.org Language: English - Date: 2013-07-24 21:59:45 Procedural programming languages J3 ALGOL 68 IMP programming language Programming language theory Software engineering Computing

UPDATE