Primitive - PDFSEARCH.IO - Document Search Engine

Primitive
Results: 1920

#	Item
581	CIS 27P Java for Programmers Class 2 Primitive-Simple Types • Integers Add to Reading List Source URL: www.bartholo.com Language: English - Date: 2001-10-15 00:55:35 Computer programming Primitive data type Type conversion Literal Integer C Octal Software engineering Computing Data types
582	Evaluating and Tuning a Static Analysis to Find Null ∗ Pointer Bugs David Hovemeyer, Jaime Spacco, and William Pugh Dept. of Computer Science University of Maryland Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:22 Data types Primitive types Hypothesis testing Pointer Null Binary search tree C Statistical hypothesis testing P-value Computing Software engineering Computer programming
583	FPGate: The Last Building Block For A Practical CFI Solution Tao Wei1,2 , Chao Zhang2 , Zhaofeng Chen2 , Lei Duan2 , Laszlo Szekeres1 , Stephen McCamant1 , Dawn Song1 1 2 Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2013-02-05 05:41:27 Data types Primitive types Programming language implementation Pointer Control flow JMP Trampoline C Buffer overflow Computing Software engineering Computer programming
584	A Certified Framework for Compiling and Executing Garbage-collected Languages Andrew McCreight Tim Chevalier Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-07-25 18:04:13 Data types Memory management C++ Primitive types Type theory Garbage collection Pointer Type safety C Software engineering Computing Computer programming
585	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
586	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
587	Bare Blocks with a Thin Object Table: An Object Memory for Cola Ted Kaehler VPRI Memo Ma Viewpoints Research Institute, 1209 Grand Central Avenue, Glendale, CAt: (f: ( Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:35 Memory management Data types Object-oriented programming Primitive types Garbage collection Virtual method table Pointer Object New Computing Software engineering Computer programming
588	Microsoft Word - 611Chapt4 Add to Reading List Source URL: aos.wisc.edu Language: English - Date: 2015-01-30 23:44:23 Atmospheric dynamics Partial differential equations Quantum mechanics Ordinary differential equations Differential equation Vorticity Primitive equations Meijer G-function Calculus Mathematical analysis Physics
589	13th International Workshop on Termination (WSTJohannes Waldmann (Editor) WST 2013, August 29–31, 2013, Bertinoro, Italy Preface Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-27 10:27:44 Primitive recursive function Mathematics Computational complexity theory Valuation
590	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming

UPDATE