Subroutines - PDFSEARCH.IO - Document Search Engine

Subroutines
Results: 1882

#	Item
181	Sta$c Reference Analysis for GUI Objects in Android So9ware Atanas Rountev, Dacong (Tony) Yan Ohio State University Add to Reading List Source URL: cgo.org Language: English - Date: 2014-02-24 11:59:25 Software engineering Computing Computer programming Cross-platform software Event Subroutines Java Button
182	Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-08 07:07:18 Software engineering Computing Computer programming Subroutines Lambda calculus Data types Type theory Functional programming Closure Scope Free variables and bound variables Lambda lifting
183	Fall 2012 BIOSTATProblem Set #0 Due is Monday September 10th, :59PM, by google document (shared to ) and email of the compressing tar.gz ﬁle containing the source codes Problem 1. helloW Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-09-12 23:05:45 Computer programming Software engineering Computing C++ C POSIX library POSIX Stat Subroutines Yes Seekg
184	DASH page 1 DASH DAta SHaring Infrastructure Add to Reading List Source URL: www.cgl.ucsf.edu Language: English - Date: 2005-08-06 16:58:13 Computer programming Event Subroutines Dash Statistics Online Computational Resource Database Software Computing Education
185	Lecture Notes on Static Analysis Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2010-08-04 09:11:54 Data types C++ Subroutines Type theory C Pointer Const C dynamic memory allocation Dereference operator Function pointer Dangling pointer Reference
186	An Introduction to R Phil Spector Statistical Computing Facility University of California, Berkeley September 24, 2004 Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2005-01-27 15:14:42 Software engineering Computer programming Mathematics Subroutines Data types Functions and mappings Matrix R Variable Principal component analysis Array programming Parameter
187	Evaluating the Design of the R Language Objects and Functions For Data Analysis Flor´eal Morandat Brandon Hill Add to Reading List Source URL: r.cs.purdue.edu Language: English - Date: 2012-06-20 16:56:12 Subroutines Closure Scope R Parameter Lazy evaluation Monad Fold Futures and promises Functional programming Multiple dispatch Variable
188	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
189	Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-28 07:22:07 Software engineering Computer programming Declarative programming Lambda calculus Functional programming Functional languages Subroutines Theoretical computer science Eval Lazy evaluation Lisp Anonymous function
190	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator

UPDATE