Struct (C programming language)

A struct in the C programming language (and many derivatives) is a complex data type declaration that defines a physically grouped list of variables… (More)
Wikipedia

Related topics

Related topics

27 relations
3D GamestudioAccess modifiersAssembly languageBit field
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Mechanized Semantics for the Clight Subset of the C Language
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Cell Migration : Integrating Signals from Front to Back
Bliek, J. Cell Biol. 143, 351 (1998). 21. A. M. Labrousse, M. D. Zappaterra, D. A. Rube, A. M. van der Bliek, Mol. Cell 4, 815… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The governance of sustainable socio-technical transitions
  • A. Smitha, Andy Stirlinga, Frans Berkhouta
  • 2005
A quasi-evolutionary model of socio-technical transitions is described in which regimes face selection pressures continuously… (More)
  • table 1
  • table 2
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
An elementary proof of a theorem of Johnson and Lindenstrauss
A result of Johnson and Lindenstrauss [13] shows that a set of n points in high dimensional Euclidean space can be mapped into an… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The degree sequence of a scale-free random graph process
Recently, Barabási and Albert [2] suggested modeling complex real-world networks such as the worldwide web as follows: consider a… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
H-Mine: Hyper-Structure Mining of Frequent Patterns in Large Databases
Methods for efficient mining of frequent patterns have been studied extensively by many researchers. However, the previously… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Algorithms for Graph Partitioning on the Planted Partition Model
The NP-hard graph bisection problem is to partition the nodes of an undirected graph into two equal-sized groups so as to… (More)
  • table 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Modeling Gene Expression with Differential Equations
We propose a differential equation model for gene expression and provide two methods to construct the model from a set of… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Vertical Handoffs in Wireless Overlay Networks
No single wireless network technology simultaneously provides a low latency, high bandwidth, wide area data service to a large… (More)
  • table 8
  • table 7
  • table 4
  • table 6
  • figure 5
Is this relevant?