A thorough and accessible introduction to a range of key ideas in type systems for programming language.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 analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
"A Bradford book."Available through MITCogNet.There is increasing interest in genetic programming by both researchers and professional software developers. These twenty-two invited contributions show how a wide variety of problems across disciplines can be solved using this new paradigm.There is increasing interest in genetic programming by both researchers and professional software developers.…
Genetic programming, a form of genetic algorithm that evolves programs and program-like executable structures, is a new paradigm for developing reliable, time- and cost-effective applications. The second volume of Advances in Genetic Programming highlights many of the most recent technical advances in this increasingly popular field.Genetic programming, a form of genetic algorithm that evolves …
Coordinating Distributed Objects presents a novel object-oriented methodology to simplify the construction of distributed software systems. The methodology is based on a programming construct, called synchronizer, that allows the coordination of distributed application components to be programmed in a modular fashion and at a high level of abstraction. The methodology offers new insight into th…
"A Bradford book."OCLC-licensed vendor bibliographic record.
"A Bradford book."In The Algebraic Mind, Gary Marcus attempts to integrate two theories about how the mind works, one that says that the mind is a computer-like manipulator of symbols, and another that says that the mind is a large network of neurons working together in parallel. Resisting the conventional wisdom that says that if the mind is a large neural network it cannot simultaneously be a…
"Bers argues that coding should be taught in early childhood and beyond STEM fields, where it is currently isolated from ethical, cultural, and language skills"--OCLC-licensed vendor bibliographic record.
"A multi-authored comprehensive introduction to live coding's potential open up deeper questions about contemporary cultural production and computational culture"--OCLC-licensed vendor bibliographic record.
"Collection of Sloan Management Review articles centered on the concept of disruptive innovation and how to update/extend it for the current and future business landscape"--OCLC-licensed vendor bibliographic record.
"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with …