C: A Reference Manual

Authors:
Samuel P. Harbison;Guy L. Steele
Affiliations:
-;-
Venue:
C: A Reference Manual
Year:
2002

Citing 0
Cited 8

Paths between imperative and functional programming

ACM SIGPLAN Notices
Why matrix manipulation should be done in C++

Journal of Computing Sciences in Colleges
Incorporating embedded programming skills into an ECE curriculum

ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
A thread implementation project supporting an operating systems course

Journal of Computing Sciences in Colleges
Efficient, formally verifiable data structures using ACL2 single-threaded objects for high-assurance systems

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
A framework for teaching introductory software development

WSEAS Transactions on Computers
Separating shape graphs

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Towards formal verification of TLS network packet processing written in C

PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:This best-selling, authoritative reference manual provides a complete description of the C language, the run-time libraries, and a style of C programming that emphasizes correctness, portability, and maintainability. C: A Reference Manual is the only book that describes all the details of C -- past and present. It is the single must-have reference for all C programmers and implementors. Thoroughly revised and updated, this expanded fifth edition includes a complete description of the latest C Standard, ISO/IEC 9899:1999, with its powerful language extensions and new libraries.