This book explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent, functional, logic and scripting.  It gives greatest prominence to the OO paradigm, and uses Java as the main exemplar language. It includes numerous examples, case studies of several major programming languages, and numerous end-of-chapter exercises. Sample solutions to most of the exercises are provided at the book’s companion Web site

Paying close attention to the Java 2 collection classes, this book is designed to give programmers the ability to choose the best collection classes for each application. The focus of the book is on abstract data types (ADTs) that turn up again and again in software design. It will use these ADTs to introduce the data structures required to implement them and the algorithms associated with the data structures.Suitable for a first course in algorithms and data structures, or a second course in programming using Java, this text offers a unique angle by concentrating on the in-built collection classes in Java 2, enabling more emphasis on software design, and less on theory.Primarily targetted at students of computer science or information technology, but also of interest to professional programmers and software engineers who are retraining to program in Java.

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

This book explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent, functional, logic and scripting.  It gives greatest prominence to the OO paradigm, and uses Java as the main exemplar language. It includes numerous examples, case studies of several major programming languages, and numerous end-of-chapter exercises. Sample solutions to most of the exercises are provided at the book’s companion Web site

Paying close attention to the Java 2 collection classes, this book is designed to give programmers the ability to choose the best collection classes for each application. The focus of the book is on abstract data types (ADTs) that turn up again and again in software design. It will use these ADTs to introduce the data structures required to implement them and the algorithms associated with the data structures.Suitable for a first course in algorithms and data structures, or a second course in programming using Java, this text offers a unique angle by concentrating on the in-built collection classes in Java 2, enabling more emphasis on software design, and less on theory.Primarily targetted at students of computer science or information technology, but also of interest to professional programmers and software engineers who are retraining to program in Java.

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.