C programming language

C programming language
Rezonansowy · Public domain · source
Paradigm	Structured programming, Imperative programming, Procedural programming
Designed by	Dennis Ritchie
Developer	Bell Labs
First appeared	1972
Typing	Static typing, Weak typing
Influenced by	B programming language, ALGOL 68, BCPL
Influenced	C++, Objective-C, C#, Java, JavaScript, Go, Rust, Perl, Python, PHP

C programming language is a general-purpose, procedural programming language historically developed for systems programming and embedded systems. Created in the early 1970s, it provided a concise mapping to machine code and became foundational for operating system development, compiler construction, and portable software. Its simplicity, efficiency, and expressive power fostered a wide ecosystem of languages, tools, and standards across academic, industrial, and governmental institutions.

History

C originated at Bell Labs during the development of the UNIX operating system. Its principal designer, Dennis Ritchie, evolved C from earlier systems languages like B programming language and BCPL to exploit features of emerging DEC PDP-11 hardware. Versions of C were propagated in conjunction with successive editions of UNIX by contributors such as Ken Thompson and were popularized through influential texts published by Brian Kernighan and Dennis Ritchie. The language's adoption by academic institutions, defense projects at DARPA, and commercial vendors like AT&T led to widespread implementation, prompting formal standardization efforts in international venues including ISO and ANSI.

Design and features

C emphasizes low-level access, simple set of keywords, and a minimal runtime, enabling direct manipulation of memory and hardware. Its core constructs—such as pointers, arrays, and structured types—map closely to typical CPU architectures like the x86 and ARM families. The language supports modularity via functions and separate translation units, facilitating reuse across projects from embedded systems in manufacturers like Intel to large-scale software at companies such as Microsoft and IBM. Performance characteristics and predictable compilation make C suitable for realtime systems in sectors including aerospace and automotive engineering.

Syntax and semantics

C's lexical and syntactic rules use a concise set of tokens and constructs: declarations, expressions, control flow statements, and function calls. Its type system includes scalar types (such as integers and floating point), derived types (pointers, arrays), and user-defined structures and unions. Semantically, C defines undefined behavior in cases like out-of-bounds access or use-after-free, which has implications for safety in projects at institutions like NASA, ESA, and companies like Lockheed Martin. Linkage and storage duration rules enable interactions with runtime environments and systems libraries such as the C standard library and platform-specific APIs like POSIX on Unix-like systems and Windows API on Microsoft Windows.

Standardization and implementations

C underwent formal standardization by ANSI (resulting in ANSI C) and international standardization by ISO, producing versions commonly referred to by year (e.g., C89, C99, C11, C17, C23). Standards define syntax, standard headers, and library semantics, guiding compiler vendors such as GCC (from the Free Software Foundation), Clang (from LLVM Project), and proprietary implementations by Microsoft and Intel. Conformance test suites and certification programs from organizations like The Open Group and national standards bodies inform portability for software deployed in contexts involving European Union procurement and DoD contracts.

Compilers and toolchain

Major open-source compilers include GCC and Clang, while commercial offerings include compilers from Microsoft Visual Studio, Intel, and embedded toolchains by ARM Limited and IAR Systems. Toolchains integrate preprocessors, optimizers, assemblers like GNU Assembler, linkers such as GNU ld or lld, and debuggers like GDB and LLDB. Build systems and package managers—examples include Make, CMake, Autotools, and Meson—coordinate compilation across platforms like Linux, macOS, and Windows NT. Static analysis tools and formal verification projects, from academic groups at MIT and Carnegie Mellon University to industry products from Coverity and Klocwork, address reliability and security concerns in C codebases.

Influence and legacy

C's design influenced numerous subsequent languages and systems projects, spawning mainstream successors such as C++ and language derivatives including Objective-C. It served as the implementation language for major systems like UNIX, BSD, and many Linux distributions, and for application ecosystems at firms like Oracle Corporation and Google. C idioms shaped software engineering practices taught at universities including Stanford University and MIT, and its role in open-source movements—championed by organizations like the Free Software Foundation—helped establish cross-platform development conventions. Standards efforts and toolchain ecosystems continue to evolve, ensuring C's presence in domains ranging from cloud infrastructure at Amazon Web Services to real-time control in Siemens industrial systems.

Category:Programming languages