Issues in Multicore Programming Using the Parc Language

A comprehensive overview of OpenMP, the standard application programming interface for shared memory parallel computing—a reference for students and professionals.

A textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language.This introductory textbook teaches the principles of programming languages by using an experiential learning style, in which students learn about language features by realizing those features in a pedagogical compiler. Students use Java―the most commonly used programming language in the first two years of the computer science curriculum―as the implementation language throughout. The book also discusses a range of emerging topics in programming languages missing from existing textbooks, including concurrency, Big Data, and event-driven programming. The goal is to prepare students to design, implement, analyze, and understand both domain-specific and general-purpose programming languages. The book first develops basic concepts in languages, including means of computation using primitive values, means of combination such as variable definition and functions, an

The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using c

This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written f

This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides student

Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated

Data-Parallel Programming demonstrates that architecture-independent parallel programming is possible by describing in detail how programs written in a high-level SIMD programming language may be comp

A proposal that we think about digital technologies such as machine learning not in terms of artificial intelligence but as artificial communication.Algorithms that work with deep learning and big data are getting so much better at doing so many things that it makes us uncomfortable. How can a device know what our favorite songs are, or what we should write in an email? Have machines become too smart? In Artificial Communication, Elena Esposito argues that drawing this sort of analogy between algorithms and human intelligence is misleading. If machines contribute to social intelligence, it will not be because they have learned how to think like us but because we have learned how to communicate with them. Esposito proposes that we think of “smart” machines not in terms of artificial intelligence but in terms of artificial communication.To do this, we need a concept of communication that can take into account the possibility that a communication partner may be not a human being but an al

One of today's most widely read philosophers considers the shift in violence from visible to invisible, from negativity to excess of positivity.Some things never disappear -- violence, for example. Vi

Big Data is made up of lots of little data: numbers entered into cell phones, addresses entered into GPS devices, visits to websites, online purchases, ATM transactions,

The new edition of an introduction to the art of computational problem solving using Python.This book introduces students with little or no prior programming experience to the art of computational pro

This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book's unique approach is based on a family of syntactically simp

This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation. Constraint logic programming, the notion of c

C# is an object-oriented programming language that is similar to the Java programming language in many respects but more comprehensive and different in most details. This book gives a concise descrip

This book presents the "great ideas" of computer science, condensing a large amount of complex material into a manageable, accessible form; it does so using the Java programming language. T

To date, books on object-oriented programming have focused either on the methodology of the object-oriented paradigm or on teaching the details of a particular programming language. This collection ta

These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo. They discuss a range of issues in the areas of curriculum, learning, and

These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo. They discuss a range of issues in the areas of curriculum, learning, and

Picture a computer scientist, staring at a screen and clicking away frantically on a keyboard, hacking into a system, or perhaps developing an app. Now delete that picture. In Once Upon an Algorithm,

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and r

The second edition of a rigorous and example-driven introduction to topics in economic dynamics that emphasizes techniques for modeling dynamic systems.This text provides an introduction to the modern theory of economic dynamics, with emphasis on mathematical and computational techniques for modeling dynamic systems. Written to be both rigorous and engaging, the book shows how sound understanding of the underlying theory leads to effective algorithms for solving real-world problems. The material makes extensive use of programming examples to illustrate ideas, bringing to life the abstract concepts in the text. Key topics include algorithms and scientific computing, simulation, Markov models, and dynamic programming. Part I introduces fundamentals and part II covers more advanced material. This second edition has been thoroughly updated, drawing on recent research in the field.New for the second edition:“Programming-language agnostic” presentation using pseudocode.New chapter 1 covering

This book offers an up-to-date, practical tutorial on advanced features in the widely used OpenMP parallel programming model. Building on the previous volume, Using OpenMP: Portable Shared Memory Par

This concise guide to the Java programming language, version 5.0, offers a quick reference for the reader who wants to know the language in greater detail than that provided by the standard text or l

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analy

Java is a new object-oriented programming language that was developed by SunMicrosystems for programming the Internet and intelligent appliances. In a very short time it hasbecome one of the most wide

The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic,

A new version of the classic and widely used text adapted for the JavaScript programming language.Since the publication of its first edition in 1984 and its second edition in 1996, Structure and Interpretation of Computer Programs (SICP) has influenced computer science curricula around the world. Widely adopted as a textbook, the book has its origins in a popular entry-level computer science course taught by Harold Abelson and Gerald Jay Sussman at MIT. SICP introduces the reader to central ideas of computation by establishing a series of mental models for computation. Earlier editions used the programming language Scheme in their program examples. This new version of the second edition has been adapted for JavaScript. The first three chapters of SICP cover programming concepts that are common to all modern high-level programming languages. Chapters four and five, which used Scheme to formulate language processors for Scheme, required significant revision. Chapter four offers new mat

In an era of globalization, issues of language diversity have economic and political implications. Transnational labor mobility, trade, social inclusion of migrants, demo

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more ame

Conference proceedings presenting the state-of-the-art in Logic Programming.

Brings together the most important contributions to the development of the theory of object-oriented programming to date, focusing in particular on how advances in type systems and semantic models can

The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this i

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal of this book is to

This book introduces programming to readers with a background in the arts and humanities; there are no prerequisites, and no knowledge of computation is assumed. In it, Nick Montfort reveals programmi

The third edition of Java Precisely provides a concise description of the Java programming language, version 8.0. It offers a quick reference for the reader who has already learned (or is learning) Ja

C# is an object-oriented programming language that is similar to Java in manyrespects but more comprehensive and different in most details. This book offers a quick andaccessible reference for anyone

productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implemen

This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them