Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent, functional, logic and with recent scripting languages. It gives greatest prominence to the OO paradigm. Includes numerous examples using C, Java and C++ as exmplar languages Additional case-study languages: Python, Haskell, Prolog and Ada Extensive end-of-chapter exercises with sample solutions on the companion Web site Deepens study by examining the motivation of programming languages not just their features

1. Introduction 2. Syntax 3. Operational semantics 4. Denotational semantics 5. Fixed points 6. FL: a functional language 7. Naming 8. State 9. Control 10. Data 11. Simple types 12. Polymorphism and higher-order types 13. Type reconstruction 14. Abstract types 15. Modules 16. Effects describe progran behavior 17. Compilation 18. Garbage collection.

The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The central question posed by the author is whether or not we can construct a theory of design.

This textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions. The text aims to provide readers with an overview of the design space for programming languages and how design choices affect implementation. It is not a classical compilers book, as it assumes the reader is familiar with basic compiler implementation techniques; nor is it a traditional comparative programming languages book, because it does not go into depth about any particular language, instead taking examples from a wide variety of programming languages to illustrate design concepts. Readers are assumed to already have done at least a bit of programming in functional, imperative, and object-oriented languages. Topics and features: Provides topic-by-topic coverage of syntax, types, scopes, memory management and more Includes many technical exercises and discussion exercises Inspires readers to think about language design choices, how these interact, and how they can be implemented Covers advanced topics such as formal semantics and limits of computation Suitable for advanced undergraduates and beginning graduates, this highly practical and useful textbook/guide will also offer programming language professionals a superb reference and learning toolkit.

A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

The leading edge of computer science research is notoriously ?ckle. New trends come and go with alarming and unfailing regularity. In such a rapidly changing ?eld, the fact that research interest in a subject lasts more than a year is worthy of note. The fact that, after ?ve years, interest not only remains, but actually continues to grow is highly unusual. As 1998 marked the ?fth birthday of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), it seemed appropriate for the organizers of the original workshop to comment on this remarkable growth, and re ect on how the ?eld has developed and matured. The ?rst ATAL workshop was co-located with the Eleventh European Conference on Arti?cial Intelligence (ECAI-94), which was held in Amsterdam. The fact that we chose an AI conference to co-locate with is telling: at that time, we expected most researchers with an interest in agents to come from the AI community. The workshop, whichwasplannedoverthesummerof1993,attracted32submissions,andwasattended by 55 people.ATAL was the largest workshop at ECAI-94, and the clear enthusiasm on behalfofthecommunitymadethedecisiontoholdanotherATALworkshopsimple.The ATAL-94proceedingswereformallypublishedinJanuary1995underthetitleIntelligent Agents, and included an extensive review article, a glossary, a list of key agent systems, and — unusually for the proceedings of an academic workshop — a full subject index. Thehighscienti?candproductionvaluesembodiedbytheATAL-94proceedingsappear to have been recognized by the community, and resulted inATAL proceedings being the most successful sequence of books published in Springer-Verlag s Lecture Notes in Arti?cial Intelligence series.

Digital Design Theory bridges the gap between the discourse of print design and interactive experience by examining the impact of computation on the field of design. As graphic design moves from the creation of closed, static objects to the development of open, interactive frameworks, designers seek to understand their own rapidly shifting profession. Helen Armstrong's carefully curated introduction to groundbreaking primary texts, from the 1960s to the present, provides the background necessary for an understanding of digital design vocabulary and thought. Accessible essays from designers and programmers are by influential figures such as Ladislav Sutnar, Bruno Munari, Wim Crouwel, Sol LeWitt, Muriel Cooper, Zuzana Licko, Rudy VanderLans, John Maeda, Paola Antonelli, Luna Maurer, and Keetra Dean Dixon. Their topics range from graphic design's fascination with programmatic design, to early strivings for an authentic digital aesthetic, to the move from object-based design and to experience-based design. Accompanying commentary assesses the relevance of each excerpt to the working and intellectual life of designers.

This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It presents software languages primarily from a software engineering perspective, i.e., it addresses how to parse, analyze, transform, generate, format, and otherwise process software artifacts in different software languages, as they appear in software development. To this end, it covers a wide range of software languages – most notably programming languages, domain-specific languages, modeling languages, exchange formats, and specifically also language definition languages. Further, different languages are leveraged to illustrate software language engineering concepts and techniques. The functional programming language Haskell dominates the book, while the mainstream programming languages Python and Java are additionally used for illustration. By doing this, the book collects and organizes scattered knowledge from software language engineering, focusing on application areas such as software analysis (software reverse engineering), software transformation (software re-engineering), software composition (modularity), and domain-specific languages. It is designed as a textbook for independent study as well as for bachelor’s (advanced level) or master’s university courses in Computer Science. An additional website provides complementary material, for example, lecture slides and videos. This book is a valuable resource for anyone wanting to understand the fundamental concepts and important engineering principles underlying software languages, allowing them to acquire much of the operational intelligence needed for dealing with software languages in software development practice. This is an important skill set for software engineers, as languages are increasingly permeating software development.

Large and growing opportunity costs are resulting from the inability to produce sophisticated, reliable software in a timely manner. Software engineering presents stubborn problems, but in this book, a group of experts suggest several constructive directions for research. Together, they support the need for greater interaction between researchers and practitioners and more aggressive efforts to share and reuse software engineering knowledge.