Safer C

Safer C
Author: Les Hatton
Publisher: McGraw-Hill Companies
Total Pages: 264
Release: 1995
Genre: Computers
ISBN:

This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliable and effective software.

Safe C++

Safe C++
Author: Vladimir Kushnir
Publisher: "O'Reilly Media, Inc."
Total Pages: 141
Release: 2012-06-06
Genre: Computers
ISBN: 1449320937

This book contains discussion of some of the most typical mistakes made by programmers in C++ and also some recipes for how to avoid each of these mistakes.

Effective C

Effective C
Author: Robert C. Seacord
Publisher: No Starch Press
Total Pages: 273
Release: 2020-08-11
Genre: Computers
ISBN: 1718501056

A detailed introduction to the C programming language for experienced programmers. The world runs on code written in the C programming language, yet most schools begin the curriculum with Python or Java. Effective C bridges this gap and brings C into the modern era--covering the modern C17 Standard as well as potential C2x features. With the aid of this instant classic, you'll soon be writing professional, portable, and secure C programs to power robust systems and solve real-world problems. Robert C. Seacord introduces C and the C Standard Library while addressing best practices, common errors, and open debates in the C community. Developed together with other C Standards committee experts, Effective C will teach you how to debug, test, and analyze C programs. You'll benefit from Seacord's concise explanations of C language constructs and behaviors, and from his 40 years of coding experience. You'll learn: How to identify and handle undefined behavior in a C program The range and representations of integers and floating-point values How dynamic memory allocation works and how to use nonstandard functions How to use character encodings and types How to perform I/O with terminals and filesystems using C Standard streams and POSIX file descriptors How to understand the C compiler's translation phases and the role of the preprocessor How to test, debug, and analyze C programs Effective C will teach you how to write professional, secure, and portable C code that will stand the test of time and help strengthen the foundation of the computing world.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security
Author: Stuart Anderson
Publisher: Springer
Total Pages: 444
Release: 2003-10-02
Genre: Computers
ISBN: 3540398783

Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.

Engineering a Safer World

Engineering a Safer World
Author: Nancy G. Leveson
Publisher: MIT Press
Total Pages: 555
Release: 2012-01-13
Genre: Science
ISBN: 0262297302

A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques. Engineering has experienced a technological revolution, but the basic engineering techniques applied in safety and reliability engineering, created in a simpler, analog world, have changed very little over the years. In this groundbreaking book, Nancy Leveson proposes a new approach to safety—more suited to today's complex, sociotechnical, software-intensive world—based on modern systems thinking and systems theory. Revisiting and updating ideas pioneered by 1950s aerospace engineers in their System Safety concept, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective, less expensive, and easier to use than current techniques. Arguing that traditional models of causality are inadequate, Leveson presents a new, extended model of causation (Systems-Theoretic Accident Model and Processes, or STAMP), then shows how the new model can be used to create techniques for system safety engineering, including accident analysis, hazard analysis, system design, safety in operations, and management of safety-critical systems. She applies the new techniques to real-world events including the friendly-fire loss of a U.S. Blackhawk helicopter in the first Gulf War; the Vioxx recall; the U.S. Navy SUBSAFE program; and the bacterial contamination of a public water supply in a Canadian town. Leveson's approach is relevant even beyond safety engineering, offering techniques for “reengineering” any large sociotechnical system to improve safety and manage risk.

Compiler Construction

Compiler Construction
Author: Tibor Gyimothy
Publisher: Springer Science & Business Media
Total Pages: 372
Release: 1996-04-03
Genre: Computers
ISBN: 9783540610533

This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linköping, Sweden in April 1996. The 23 revised full papers included were selected from a total of 57 submissions; also included is an invited paper by William Waite entitled "Compiler Construction: Craftsmanship or Engineering?". The book reports the state of the art in the area of theoretical foundations and design of compilers; among the topics addressed are program transformation, software pipelining, compiler optimization, program analysis, program inference, partial evaluation, implementational aspects, and object-oriented compilers.

Static Analysis

Static Analysis
Author: Andreas Podelski
Publisher: Springer
Total Pages: 456
Release: 2018-08-28
Genre: Computers
ISBN: 3319997254

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.

Cryptography in C and C++

Cryptography in C and C++
Author: Michael Welschenbach
Publisher: Apress
Total Pages: 481
Release: 2017-01-11
Genre: Computers
ISBN: 1430250992

This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second edition includes about 100 pages of additional material as well as numerous improvements to the original text. The chapter about random number generation has been completely rewritten, and the latest cryptographic techniques are covered in detail. Furthermore, this book covers the recent improvements in primality testing.

To Err Is Human

To Err Is Human
Author: Institute of Medicine
Publisher: National Academies Press
Total Pages: 312
Release: 2000-03-01
Genre: Medical
ISBN: 0309068371

Experts estimate that as many as 98,000 people die in any given year from medical errors that occur in hospitals. That's more than die from motor vehicle accidents, breast cancer, or AIDSâ€"three causes that receive far more public attention. Indeed, more people die annually from medication errors than from workplace injuries. Add the financial cost to the human tragedy, and medical error easily rises to the top ranks of urgent, widespread public problems. To Err Is Human breaks the silence that has surrounded medical errors and their consequenceâ€"but not by pointing fingers at caring health care professionals who make honest mistakes. After all, to err is human. Instead, this book sets forth a national agendaâ€"with state and local implicationsâ€"for reducing medical errors and improving patient safety through the design of a safer health system. This volume reveals the often startling statistics of medical error and the disparity between the incidence of error and public perception of it, given many patients' expectations that the medical profession always performs perfectly. A careful examination is made of how the surrounding forces of legislation, regulation, and market activity influence the quality of care provided by health care organizations and then looks at their handling of medical mistakes. Using a detailed case study, the book reviews the current understanding of why these mistakes happen. A key theme is that legitimate liability concerns discourage reporting of errorsâ€"which begs the question, "How can we learn from our mistakes?" Balancing regulatory versus market-based initiatives and public versus private efforts, the Institute of Medicine presents wide-ranging recommendations for improving patient safety, in the areas of leadership, improved data collection and analysis, and development of effective systems at the level of direct patient care. To Err Is Human asserts that the problem is not bad people in health careâ€"it is that good people are working in bad systems that need to be made safer. Comprehensive and straightforward, this book offers a clear prescription for raising the level of patient safety in American health care. It also explains how patients themselves can influence the quality of care that they receive once they check into the hospital. This book will be vitally important to federal, state, and local health policy makers and regulators, health professional licensing officials, hospital administrators, medical educators and students, health caregivers, health journalists, patient advocatesâ€"as well as patients themselves. First in a series of publications from the Quality of Health Care in America, a project initiated by the Institute of Medicine