Include directive

Known as: Header files, C header, Header 
Many programming languages and other computer files have a directive, often called include (as well as copy and import), that causes the contents of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1961-2017
010020019612017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Library OS (LibOS) architectures implement the OS personality as a user-mode library, giving each application the flexibility to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove… (More)
Is this relevant?
2009
2009
A number of widely used programming languages use lexically included files as a way to share and encapsulate declarations… (More)
  • table I
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
For difference-expansion (DE)-based reversible data hiding, the embedded bit-stream mainly consists of two parts: one part that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2001
2001
The open source flight simulator FlightGear is being developed through gracious contributions of source code and time by many… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
A simple mechanism for structuring specifications is described. By modelling structures as atoms, it remains entirely first-order… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The Unix File System(UFS) has historically offered a shared-memory consistency model. The lack of concurrency control makes this… (More)
  • figure 1
Is this relevant?
Highly Cited
1994
Highly Cited
1994
ion de ned by that type. With multi-methods code does not naturally belong to a particular type. Sather deals with multi-method… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the… (More)
  • table 2-1
  • table 3-1
  • table 3-3
  • table 7-1
  • table 7-2
Is this relevant?