Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Kouhei Yamamoto, Shigekazu Inohara, Hajime Miyazawa, Keitaro Uehara, Masahiro Hara, Takashi Masuda	Distributed Persistent Object System with Uniform Representation of Pointers and Its Garbage Collection.	HICSS (1)	1996	DBLP DOI BibTeX RDF
85	Igor B. Smirnov	Raw pointers in application classes of C++ considered harmful.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	dynamic storage, raw pointers, smart pointers, C++, C++, methodology
82	Zakarya A. Alzamil	Application of Computational Redundancy in Dangling Pointers Detection.	ICSEA	2006	DBLP DOI BibTeX RDF	redundant computation, debugging, memory leaks, dangling pointers
71	Giuliano Antoniol, F. Calzolari, Paolo Tonella	Impact of Function Pointers on the Call Graph.	CSMR	1999	DBLP DOI BibTeX RDF
66	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Precise Call Graphs for C Programs with Function Pointers.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	function pointers, pointer analysis, call graph
66	Brad A. Myers, Rishi Bhatnagar, Jeffrey Nichols 0001, Choon Hong Peck, Dave Kong, Robert C. Miller, A. Chris Long	Interacting at a distance: measuring the performance of laser pointers and other devices.	CHI	2002	DBLP DOI BibTeX RDF	user studies, interaction techniques, input devices, handhelds, pebbles, laser pointers, remote interaction, palm pilots
63	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide	Abstracting Pointers for a Verifying Compiler.	SEW	2007	DBLP DOI BibTeX RDF
60	Richard A. Eyre-Todd	The Detection of Dangling References in C++ Programs.	LOPLAS	1993	DBLP DOI BibTeX RDF	smart pointers, dangling pointers
59	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers.	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
56	Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs.	ISPAN	2002	DBLP DOI BibTeX RDF	points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
56	Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth	Checkmate: cornering C++ dynamic memory errors with checked pointers.	SIGCSE	2000	DBLP DOI BibTeX RDF	C++
54	Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah	Backward-compatible constant-time exception-protected memory.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
51	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens	Test Input Generation for Programs with Pointers.	TACAS	2009	DBLP DOI BibTeX RDF	symbolic execution, pointers, Test input generation
51	Koji Noguchi, Michael B. Dillencourt, Lubomir Bic	Efficient Global Pointers With Spontaneous Process Migration.	PDP	2008	DBLP DOI BibTeX RDF	Global Pointers, Process Migration
48	Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines.	ECOOP	2007	DBLP DOI BibTeX RDF
48	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev	A specification-based approach to reasoning about pointers.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	heap memory management, pointer specification, reasoning
48	Dengping Zhu, Hongwei Xi	Safe Programming with Pointers Through Stateful Views.	PADL	2005	DBLP DOI BibTeX RDF
48	S. Apolloni, M. M. Savino, V. Scocca	An approach to define quality pointers for a quality management system in ISO9000 environment.	ETFA	2005	DBLP DOI BibTeX RDF
48	Darren C. Atkinson	Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures.	APSEC	2004	DBLP DOI BibTeX RDF
48	Francisco Corbera, Rafael Asenjo, Emilio L. Zapata	Towards Compiler Optimization of Codes Based on Arrays of Pointers.	LCPC	2002	DBLP DOI BibTeX RDF
48	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Precise Call Graph Construction in the Presence of Function Pointers.	SCAM	2002	DBLP DOI BibTeX RDF
48	Darren C. Atkinson, William G. Griswold	Effective Whole-Program Analysis in the Presence of Pointers.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	C
48	David Cronk, Matthew Haines, Piyush Mehrotra	Thread Migration in the Presence of Pointers.	HICSS (1)	1997	DBLP DOI BibTeX RDF
43	Pascal Cuoq, Damien Doligez	Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.	ML	2008	DBLP DOI BibTeX RDF	hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
43	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
43	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
43	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
43	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
43	Gerald M. Karam	Computational Improvements in Prolog Applications by Predicate Variable Pointers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits
41	Francisco Corbera, Rafael Asenjo, Emilio L. Zapata	A Framework to Capture Dynamic Data Structures in Pointer-Based Codes.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	shape graphs, irregular codes, Shape analysis, optimizing compiler, pointers, recursive data structures
40	Daniel Hedin, David Sands 0001	Noninterference in the Presence of Non-Opaque Pointers.	CSFW	2006	DBLP DOI BibTeX RDF
40	Noritaka Osawa	Aggregate pointers to support large group collaboration using telepointers.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	large group collaboration, aggregation, group awareness, telepointer
40	Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa	Reasoning about Pointers in Refinement Calculus.	APSEC	2003	DBLP DOI BibTeX RDF
40	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
40	Luc Moreau 0001	A fault-tolerant directory service for mobile agents based on forwarding pointers.	SAC	2002	DBLP DOI BibTeX RDF	distributed directory service, fault tolerance, mobile agents
40	Changwoo Pyo, Gyungho Lee	Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack.	ICICS	2002	DBLP DOI BibTeX RDF	program counter, function pointer encoding, memory arrangement checking, buffer overflow attack
40	Luc Séméria, Koichi Sato, Giovanni De Micheli	Synthesis of hardware models in C with pointers and complex data structures.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
40	Luc Séméria, Koichi Sato, Giovanni De Micheli	Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C.	DATE	2000	DBLP DOI BibTeX RDF
40	Cheol Ho Park, Jong Hyuk Choi, Kyu Ho Park, Daeyeon Park	An Adaptive Limited Pointers Directory Scheme for Cache Coherence of Scalable Multiprocessors.	Euro-Par	1999	DBLP DOI BibTeX RDF
38	Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang	Mapping kernel objects to enable systematic integrity checking.	CCS	2009	DBLP DOI BibTeX RDF	kernel integrity, memory analysis, malware, pointer analysis, introspection
38	Fernando Farfán, Vagelis Hristidis, Raju Rangaswami	Beyond Lazy XML Parsing.	DEXA	2007	DBLP DOI BibTeX RDF	Double Lazy Parsing, Deferred Expansion, XML, XPath, Document Object Model
38	Luc Séméria, Giovanni De Micheli	Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
38	Nitzan Weinberg, David Nagle	Dynamic Elimination of Pointer-Expressions.	IEEE PACT	1998	DBLP DOI BibTeX RDF	pointer-expression, sphinx, sub-expression, SPECint95, memory address, performance analysis, compiler, locality, speech recognition, dynamic, microprocessor, mpeg, cache memory, microarchitecture, jpeg, value, spatial, memory bandwidth, data reuse, temporal, pointer, conditional execution
38	Robert Cypher, C. Bernard Shung	Generalized trace-back techniques for survivor memory management in the Viterbi algorithm.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF	trace-back, survivor memory, VLSI area requirements, Viterbi algorithm
35	Eric Lecolinet	Multiple pointers: a study and an implementation.	IHM	2003	DBLP DOI BibTeX RDF	UDP/C notation, Ubit toolkit, bi-manual interaction, multiple pointers, multiple screen workspaces, single display groupware, synchronous groupware
35	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
35	Ing-Ray Chen, Sayed Atef Banawan	Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	concurrent maintenance policies, state reduction method, two-dimensional Markov model, one-dimensional Markov model, concurrent data structure maintenance policies, service time per operation, priority allocation functions, binary tree data structure, 1D Markov model, 2D Markov model, performance evaluation, performance analysis, data structures, software maintenance, Markov processes, tree data structures, pointers, closed form expression
35	Amir M. Ben-Amram, Zvi Galil	On Pointers versus Addresses (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	countable closed set, random addressing, pointer machine, RAM program, set of primitives, continuously differentiable, lower bound, time, tree, functions, space, Kolmogorov complexity, strings, data type, pointers, addresses, random-access memory, real numbers, incompressibility
34	Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung	An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects.	Inf. Softw. Technol.	2022	DBLP DOI BibTeX RDF
34	Yu Wang 0093, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen 0001, Yang Liu 0003, Jianhua Zhao, Xuandong Li	DangDone: Eliminating Dangling Pointers via Intermediate Pointers.	Internetware	2018	DBLP DOI BibTeX RDF
34	Albert Kwon, Udit Dhawan, Jonathan M. Smith, Thomas F. Knight Jr., André DeHon	Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security.	CCS	2013	DBLP DOI BibTeX RDF
34	Jennifer Hamilton	Montana Smart Pointers: They're Smart, and They're Pointers.	COOTS	1997	DBLP BibTeX RDF
34	Daniel R. Edelson	Smart Pointers: They're Smart, But They're Not Pointers.	C++ Conference	1992	DBLP BibTeX RDF
34	Andriy Pavlovych, Wolfgang Stürzlinger	Effect of screen configuration and interaction devices in shared display groupware.	HCC	2008	DBLP DOI BibTeX RDF	interactive walls, cscw, tabletops, laser pointers
34	Pramod Chandraiah, Rainer Dömer	Pointer re-coding for creating definitive MPSoC models.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	re-coding, MPSoC, pointers, system specification
33	Amruth N. Kumar	Data space animation for learning the semantics of C++ pointers.	SIGCSE	2009	DBLP DOI BibTeX RDF	c++ pointer, data space, visualization, evaluation, animation, effectiveness, explanation, bugs, web-based tutor
33	Ana Cavalcanti 0001, Will Harwood, Jim Woodcock 0001	Pointers and Records in the Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
33	Maged M. Michael	Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
33	Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson	Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
33	Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet	Speculative Prefetching of Induction Pointers.	CC	2001	DBLP DOI BibTeX RDF
33	C. A. R. Hoare, Jifeng He 0001	A Trace Model for Pointers and Objects.	ECOOP	1999	DBLP DOI BibTeX RDF
33	Shik Kim, Muyong Hyun, Sangjo Lee	Transparent Treatment of Remote Pointers Using IPC Primitive in RPC Systems.	CANPC	1997	DBLP DOI BibTeX RDF
33	Naftaly H. Minsky	Towards Alias-Free Pointers.	ECOOP	1996	DBLP DOI BibTeX RDF	pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation
33	Masayoshi Aritsugi, Keiichi Teramoto, Guangyi Bai, Akifumi Makinouchi	Several Implementations of Persistent Pointers in a Memory-Mapped I/O Environment	DEXA	1995	DBLP DOI BibTeX RDF
33	Alain Deutsch	Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting.	PLDI	1994	DBLP DOI BibTeX RDF
33	Alexandre V. Zamulin	Algebraic Modelling of Imperative Languages with Pointers.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
33	Lars Ole Andersen	Binding-Time Analysis and the Taming of C Pointers.	PEPM	1993	DBLP DOI BibTeX RDF	C
33	Eric G. Wagner	Semantics of Block Structured Languages with Pointers.	MFPS	1987	DBLP DOI BibTeX RDF
33	Robert Cartwright, Robert Hood, Philip Mathews	Paths: An Abstract Alternative to Pointers.	POPL	1981	DBLP DOI BibTeX RDF
31	Supratim Deb, Prakash Linga, Rajeev Rastogi, Anand Srinivasan	Accelerating Lookups in P2P Systems using Peer Caching.	ICDE	2008	DBLP DOI BibTeX RDF
31	Noritaka Osawa	Pointer delegation for group collaboration using telepointers.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	voting, proxy, group awareness, telepointer, group collaboration
31	Chris Lattner, Vikram S. Adve	Transparent pointer compression for linked data structures.	Memory System Performance	2005	DBLP DOI BibTeX RDF	pointer compression, cache, static analysis, data layout, recursive data structure
31	Nathan Tuck, Brad Calder, George Varghese	Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow.	MICRO	2004	DBLP DOI BibTeX RDF
31	Martin Elsman	Garbage collection safety for region-based memory management.	TLDI	2003	DBLP DOI BibTeX RDF	region inference, garbage collection, standard ML
31	Gordon Bassen, Isaak Garber	Return of an Object in Two-Stack Dynamic Memory.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
31	George C. Necula, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy code.	POPL	2002	DBLP DOI BibTeX RDF
31	Nurit Dor, Michael Rodeh, Shmuel Sagiv	Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).	PASTE	1998	DBLP DOI BibTeX RDF
31	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Points-to Analysis for Program Understanding.	WPC	1997	DBLP DOI BibTeX RDF
31	Jong-Deok Choi, Michael G. Burke, Paul R. Carini	Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.	POPL	1993	DBLP DOI BibTeX RDF
31	Amer Diwan, J. Eliot B. Moss, Richard L. Hudson	Compiler Support for Garbage Collection in a Statically Typed Language.	PLDI	1992	DBLP DOI BibTeX RDF	Modula-3
26	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
26	Mark W. Storer, Kevin M. Greenan, Ethan L. Miller, Kaladhar Voruganti	POTSHARDS - a secure, recoverable, long-term archival storage system.	ACM Trans. Storage	2009	DBLP DOI BibTeX RDF	approximate pointers, secret splitting, Archival storage
26	Ting-Yuan Yeh, Tzone I. Wang	A Ratio-Based Update Scheme for Mobile Agent Location Management.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	tracking phase, message delivery phase, update messages, forwarding pointers, mobile agent, location management, network latency
26	Suhabe Bugrara, Alex Aiken	Verifying the Safety of User Pointer Dereferences.	SP	2008	DBLP DOI BibTeX RDF	user pointers, verification, static analysis, operating system security
26	Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh	Construction of concrete verification models from C++.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, C++, pointers, equivalence checking, dynamic memory allocation
26	Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide	Which pointer errors do students make?	SIGCSE	2007	DBLP DOI BibTeX RDF	data structures, C++, CS2, pointers, references, linked list
26	Achuth Sankar S. Nair, T. Mahalakshmi	Conceptualizing data structures: a pedagogic approach.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	visual representation for RAM, data structures, pointers, memory structure
26	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim	Experience with safe manual memory-management in cyclone.	ISMM	2004	DBLP DOI BibTeX RDF	unique pointers, memory management, regions, memory safety, cyclone
26	Farn Wang, Karsten Schmidt 0004	Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.	FORTE	2002	DBLP DOI BibTeX RDF	data-structures, Symmetry, symbolic model-checking, pointers
26	J. Ramanujam, Satish Krishnamurthy, Jinpyo Hong, Mahmut T. Kandemir	Address Code and Arithmetic Optimizations for Embedded Systems.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	address arithmetic optimization, array access to scalar access conversion, embedded systems, compiler optimizations, pointers
26	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
26	Ben Lee, Ali R. Hurson, Behrooz A. Shirazi	A Hybrid Scheme for Processing Data Structures in a Dataflow Environment.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	dataflow environment, maximum inherent parallelism, constant time access, processing overhead, data structures, data structures, asynchronous, storage, pointers, parallelprogramming
26	J. Eliot B. Moss	Working with Persistent Objects: To Swizzle or Not to Swizzle.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	pointer swizzling, database objects, object identifiers, direct memory pointers, database programming language implementations, memory resident data, Mneme persistent object store, software engineering, data structures, data structures, object-oriented databases, object-oriented databases, manipulation, persistent objects, quantitative data, persistent object stores
26	Pierre David	Semantic Analysis for Parallelizing C.	CONPAR	1992	DBLP DOI BibTeX RDF	compilation, types, automatic parallelization, pointers, C language, side effects
26	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
26	Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson	CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
26	Bengt Nordström	Programming with abstract data types, some examples.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Graphs, Mappings, Pascal, Pascal, Pointers
25	Will Harwood, Ana Cavalcanti 0001, Jim Woodcock 0001	A Theory of Pointers for the UTP.	ICTAC	2008	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
25	Manuel Arenaz, Pedro Amoedo, Juan Touriño	Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers.	Euro-Par	2008	DBLP DOI BibTeX RDF
25	Raine Mäkeläinen, Cristiano di Flora, Tommi Mikkonen	Enhanced integration of Java to symbian OS using smart pointers.	JTRES	2008	DBLP DOI BibTeX RDF	Symbian OS, mobile Java integration, mobile devices programming, J2ME, Java native interface