Pointer aliasing - PDFSEARCH.IO - Document Search Engine

Pointer aliasing
Results: 29

#	Item
1	Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian1 Justus Matthiesen1 James Lingard2 Kyndylan Nienhuis1 David Chisnall1 Robert N.M. Watson1 Peter Sewell1 1 University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-06-11 11:44:23 Software engineering Computing Computer programming Data types C Pointer Type safety Null pointer Undefined behavior Reference Aliasing Struct
2	Lecture 10: Processing Instructions William Gropp www.cs.illinois.edu/~wgropp More on the CPU Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:22:16 Procedural programming languages Data types Compiler construction C++ Aliasing Program analysis Fortran Pointer Array data type ALGOL 68 C++ classes Infinite loop
3	Alias Analysis for Intermediate Code Sanjiv K. Gupta Naveen Sharma System Software Group Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Pointer Aliasing Addressing mode Alias analysis Programming language theory Computing Software engineering
4	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
5	Some Assembly Required - Program Analysis of Embedded System Code Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 01:51:34 Data types Procedural programming languages Program analysis Compiler construction Programming language implementation C Aliasing Type system Pointer Software engineering Computing Computer programming
6	PDF Document Add to Reading List Source URL: www.nanaimoartgallery.com Language: English - Date: 2013-01-31 18:42:49 Concurrency control Concurrent computing Computer memory Concurrency Debugging Thread Breakpoint Kernel Pointer aliasing Computing Software engineering Computer programming
7	Effective Data-Race Detection for the Kernel John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk Microsoft Research {jerick, madanm, sburckha, kirko}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-21 15:20:39 Concurrency control Concurrent computing Computer memory Concurrency Debugging Thread Breakpoint Kernel Pointer aliasing Computing Software engineering Computer programming
8	COMBINING HIGH LEVEL ALIAS ANALYSIS WITH LOW LEVEL CODE COMPACTION OF THE LINUX KERNEL BY JOHN EDISON TRIMBLE A Thesis Submitted to The Honors College Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2010-09-26 23:49:12 Aliasing Call graph Alias analysis GNU Compiler Collection C Intermediate language Pointer Reference Static single assignment form Software Computing Compiler construction
9	How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-05 19:58:01 Computing Digital signal processing Signal processing Aliasing Program analysis Pointer aliasing Alias analysis Call graph Reference Compiler construction Software engineering Programming language theory
10	TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: saturn.stanford.edu Language: English - Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering