You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.
The book records the essential discoveries of mathematical and computational scientists in chronological order, following the birth of ideas on the basis of prior ideas ad infinitum. The authors document the winding path of mathematical scholarship throughout history, and most importantly, the thought process of each individual that resulted in the mastery of their subject. The book implicitly addresses the nature and character of every scientist as one tries to understand their visible actions in both adverse and congenial environments. The authors hope that this will enable the reader to understand their mode of thinking, and perhaps even to emulate their virtues in life.
Accompanying CD-ROM contains ... "advanced/optional content, hundreds of working examples, an active search facility, and live links to manuals, tutorials, compilers, and interpreters on the World Wide Web."--Page 4 of cover.
Programming Language Pragmatics, Third Edition, is the most comprehensive programming language book available today. Taking the perspective that language design and implementation are tightly interconnected and that neither can be fully understood in isolation, this critically acclaimed and bestselling book has been thoroughly updated to cover the most recent developments in programming language design, inclouding Java 6 and 7, C++0X, C# 3.0, F#, Fortran 2003 and 2008, Ada 2005, and Scheme R6RS. A new chapter on run-time program management covers virtual machines, managed code, just-in-time and dynamic compilation, reflection, binary translation and rewriting, mobile code, sandboxing, and de...
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. Formal methods are mathematically rigorous techniques for the specification, development, manipulation, and verification of safe, robust, and secure software and hardware systems. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, based on their semantics. The concepts of abstract interpretation underlie such software tools as compilers, type systems, and security protocol analyzers. This book provides an introduction to the theory and pr...
Page 26: How can I avoid off-by-one errors? Page 143: Are Trojan Horse attacks for real? Page 158: Where should I look when my application can't handle its workload? Page 256: How can I detect memory leaks? Page 309: How do I target my application to international markets? Page 394: How should I name my code's identifiers? Page 441: How can I find and improve the code coverage of my tests? Diomidis Spinellis' first book, Code Reading, showed programmers how to understand and modify key functional properties of software. Code Quality focuses on non-functional properties, demonstrating how to meet such critical requirements as reliability, security, portability, and maintainability, as well as efficiency in time and space. Spinellis draws on hundreds of examples from open source projects--such as the Apache web and application servers, the BSD Unix systems, and the HSQLDB Java database--to illustrate concepts and techniques that every professional software developer will be able to appreciate and apply immediately. Complete files for the open source code illustrated in this book are available online at: http://www.spinellis.gr/codequality/
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics. He Jifeng is known for his seminal work in the theories of pro...
This book presents the proceedings of two conferences, the 37th and 38th in the WoTUG series; Communicating Process Architectures (CPA) 2015, held in Canterbury, England, in August 2015, and CPA 2016, held in Copenhagen, Denmark, in August 2016. Fifteen papers were accepted for presentation at the 2015 conference. They cover a spectrum of concurrency concerns: mathematical theory, programming languages, design and support tools, verification, multicore infrastructure and applications ranging from supercomputing to embedded. Three workshops and two evening fringe sessions also formed part of the conference, and the workshop position papers and fringe abstracts are included in this book. Fourteen papers covering the same broad spectrum of topics were presented at the 2016 conference, one of them in the form of a workshop. They are all included here, together with abstracts of the five fringe sessions from the conference.
Financial services institutions like international banks and insurance companies frequently need to adapt to changes in their environments, yet manage risk and ensure regulatory compliance. The author Hans Wegener reveals how metadata can be used to achieve a successful and technological evolution. This unique approach is divided into three parts to: Explain how metadata can be used to increase an organization's ability to adopt changes Outline the peculiarities of financial corporations and how they affect value creation and solution design Present the practical side of effectively managing metadata and sustaining long term success Wegener firstly illustrates the peculiarities of both metad...
Java developers usually tackle the complexity of software development through object-oriented programming (OOP). But not every problem is a good match for OOP. The functional programming (FP) paradigm offers you another approach to solving problems, and Java provides easy-to-grasp FP tools such as lambda expressions and Streams. If you're interested in applying FP concepts to your Java code, this book is for you. Author Ben Weidig highlights different aspects of functional programming and shows you how to incorporate them into your code without going "fully functional." You'll learn how, when, and why to use FP concepts such as immutability and pure functions to write more concise, reasonabl...