This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revi ...
This text combines a practical, hands-on approach to programming with the introduction of sound theoretical support focused on teaching the construction of high-quality software. A major feature of the book is the use of Design by Contract.
This book is an in-depth technical reference providing methods and techniques for building and maintaining confidence in system software, helping to answer such critical questions as: 1) Are we building the right software? and 2) Are we building the software right?
This second edition of Grune and Jacobs’ brilliant work presents new developments and discoveries that have been made in the field of parsing, or syntax analysis. Parsing has been and continues to be an essential part of computer science and linguistics.
This book offers broad coverage of all aspects of parallel programming. Many examples and exercises are provided to show how to apply the techniques. There is special emphasis on runtime efficiency and memory organization.
This book anchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file from extras.springer.com also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive appendices and bibliography, systematic approach, and helpful interactive programs on extras.springer.com, this exciting work provides the key tools they needed for successful object-oriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable self-study resource or reference volume in any programmer’s library.
This book introduces the principles of parallel programming using shared memory on Multicore machines. Employing a powerful parallel dialect of C (called ParC) as its basic language, it offers a firm basis for the art of creating efficient parallel programs.
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process improvement are ...
This volume covers all the fundamentals of Java programming, introducing the core concepts of object-oriented coding at an early stage to ensure readers a swift and secure grasp of the processes, accompanied by contour diagrams and exemplar programs.