Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,736,340 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.
Review
2016
Review
2016
2 Background and Overview of Our Work 2 . 1 Preemptive OS Kernels and Interrupts
Fengwei Xu
,
Ming Fu
,
Xinyu Feng
,
Xiaoran Zhang
,
Hui Zhang
,
Zhaohui Li
2016
Corpus ID: 13469613
We propose a practical verification framework for preemptive OS kernels. The framework models the correctness of API…
Expand
2013
2013
HyperVerify: A VM-assisted Architecture for Monitoring Hypervisor Non-control Data
Baozeng Ding
,
Yeping He
,
Y. Wu
,
Yuqi Lin
IEEE Seventh International Conference on Software…
2013
Corpus ID: 6438153
Continuing bug reports and exploits in hyper visors indicate that hyper visors face similar integrity threats as tradition…
Expand
2011
2011
Dynamic Pointer Forwarding Scheme for HMIPv6 Networks
Dong Yong
2011
Corpus ID: 63312462
The recent pointer forwarding schemes for HMIPv6,without consideration of MAP's(mobile anchor point) coverage,may lead to high…
Expand
2010
2010
Object-Oriented or Object-Relational? An Experience Report from a High-Complexity, Long-Term Case Study
P. Baumann
2010
Corpus ID: 10661606
The discussion between object-oriented and object-relational DBMS technology seems to be decided since some time, in favor of the…
Expand
2008
2008
Flexible pointer analysis using assign-fetch graphs
M. Buss
,
D. Brand
,
V. Sreedhar
,
Stephen Anthony Edwards
ACM Symposium on Applied Computing
2008
Corpus ID: 8166534
We propose a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to…
Expand
2007
2007
An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems
M. Bernardi
,
G. D. Lucca
International Conference on Smart Multimedia
2007
Corpus ID: 14449965
Aspect oriented programming (AOP) supports the cross-cutting of concerns by means of aspects. The maintenance of AO systems may…
Expand
2006
2006
Preventing lost messages in event-driven programming
Jeffrey M. Fischer
,
R. Majumdar
,
T. Millstein
2006
Corpus ID: 61605668
The event-driven programming style is pervasive as an effi- cient method for interacting with the environment. Unfortunately, the…
Expand
2006
2006
An Attack Simulator for Systematically Testing Program-based Security Mechanisms
B. Breech
,
Mike Tegtmeyer
,
L. Pollock
IEEE International Symposium on Software…
2006
Corpus ID: 1810052
The use of insecure programming practices has led to a large number of vulnerable programs that can be exploited for malicious…
Expand
Review
2003
Review
2003
AN ADAPTABLE ON-BOARD APPLICATION IN C++
G. Montalto
,
A. Pasetti
,
N. Salerno
,
A. Spazio
2003
Corpus ID: 33822329
Although C is well-established as a programming language for on-board applications, the use of its successor C++ is still…
Expand
Highly Cited
2003
Highly Cited
2003
MECA: an extensible, expressive system and language for statically checking security properties
Junfeng Yang
,
Theodore Kremenek
,
Yichen Xie
,
D. Engler
Conference on Computer and Communications…
2003
Corpus ID: 252049
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for…
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