Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,250,719 papers from all fields of science
Search
Sign In
Create Free Account
Function pointer
Known as:
Procedure Pointer
, Subroutine pointer
, Function pointers
Expand
A function pointer (or subroutine pointer or procedure pointer) is a type of pointer supported by third-generation programming languages (such as PL…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Branch table
C++
C++11
COBOL
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Protecting C++ Dynamic Dispatch Through VTable Interleaving
Dimitar Bounov
,
Rami Gökhan Kici
,
Sorin Lerner
Network and Distributed System Security Symposium
2016
Corpus ID: 14731129
With new defenses against traditional control-flow attacks like stack buffer overflows, attackers are increasingly using more…
Expand
Highly Cited
2012
Highly Cited
2012
mbeddr: an extensible C-based programming language and IDE for embedded systems
M. Völter
,
D. Ratiu
,
B. Schätz
,
Bernd Kolb
ACM SIGPLAN International Conference on Systems…
2012
Corpus ID: 12736898
While the C programming language provides good support for writing efficient, low-level code, it is not adequate for defining…
Expand
Highly Cited
2007
Highly Cited
2007
Tasks: language support for event-driven programming
Jeffrey M. Fischer
,
R. Majumdar
,
T. Millstein
ACM SIGPLAN Workshop on Partial Evaluation and…
2007
Corpus ID: 8384184
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the…
Expand
2007
2007
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
Sumit Gulwani
,
A. Tiwari
International Conference on Computer Aided…
2007
Corpus ID: 9270104
We describe an abstract domain for representing useful invariants of heap-manipulating programs (in presence of recursive data…
Expand
Highly Cited
2001
Highly Cited
2001
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
Donglin Liang
,
M. J. Harrold
Sensors Applications Symposium
2001
Corpus ID: 6675975
This paper presents a modular algorithm that efficiently computes parameterized pointer information, in which symbolic names are…
Expand
Highly Cited
2001
Highly Cited
2001
Demand-driven pointer analysis
N. Heintze
,
O. Tardieu
ACM-SIGPLAN Symposium on Programming Language…
2001
Corpus ID: 12597100
Known algorithms for pointer analysis are “global” in the sense that they perform an exhaustive analysis of a program or program…
Expand
Highly Cited
2000
Highly Cited
2000
Boolean Programs: A Model and Process for Software Analysis
T. Ball
,
S. Rajamani
2000
Corpus ID: 10519276
A fundamental issue in model checking of software is the choice of a model for software. We present a model called boolean…
Expand
Highly Cited
1999
Highly Cited
1999
Interprocedural pointer alias analysis
M. Hind
,
M. Burke
,
P. Carini
,
Jong-Deok Choi
TOPL
1999
Corpus ID: 15197780
We present practical approximation methods for computing and representing interprocedural aliases for a program written in a…
Expand
Highly Cited
1996
Highly Cited
1996
Fortran 95/2003 Explained
M. Metcalf
,
J. Reid
,
Malcolm Cohen
1996
Corpus ID: 60334801
Whence Fortran? Language elements Expressions and assignments Control Constructs Program units and procedures Array features…
Expand
Highly Cited
1994
Highly Cited
1994
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers
M. Burke
,
P. Carini
,
Jong-Deok Choi
,
M. Hind
International Workshop on Languages and Compilers…
1994
Corpus ID: 6682662
Data-flow analysis algorithms can be classified into two categories: flow-sensitive and flow-insensitive. To improve efficiency…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE