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 implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.
"A Bradford book."OCLC-licensed vendor bibliographic record.
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, intr…
These essays reveal another side of Horkheimer, focusing on his remarkable contributions to critical theory in the 1930s. Max Horkheimer is well known as the director of the Frankfurt Institute for Social Research and as a sometime collaborator with Theodor Adorno, especially on their classic Dialectic of Enlightenment. These essays reveal another side of Horkheimer, focusing on his remarkable …
"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.OCLC-licensed vendor bibliographic record.
A study of two bridges between science and society: governmental science policy and scientists' voluntary public-interest associations. According to a widespread stereotype, scientists occupy an ivory tower, isolated from other parts of society. To some extent this is true, and the resulting freedom to pursue curiosity-driven research has made possible extraordinary scientific advances. The spi…
"The Islamic scientific tradition has been described many times in accounts of Islamic civilization and in general histories of science, with most authors tracing its beginnings to the appropriation of ideas from other ancient civilizations - the Greeks in particular. In this thought-provoking and original book, George Saliba argues that, contrary to the generally accepted view, the foundations…
Newton studies have undergone radical changes in the last half-century as more of his work has been uncovered and more details of his life and intellectual context have come to light. This volume singles out two strands in recent Newton studies: the intellectual background to Newton's scientific thought and both specific and general aspects of his technical science. The essays make new claims c…
"A Bradford Book."Over the past two decades, Ray Jackendoff has persistently tackled difficult issues in the theory of mind and related theories of cognitive processing. Chief among his contributions is a formal theory that elaborates the nature of language and its relationship to a broad set of other domains. Languages of the Mind provides convenient access to Jackendoff's work over the past f…
"A Bradford book.""Short biography of Jacques Mehler": pages [513]-527.Interdisciplinary essays on central issues in cognitive science. In the early 1960s, the bold project of the emerging field of cognition was to put the human mind under the scrutiny of rational inquiry, through the conjoined efforts of philosophy, linguistics, computer science, psychology, and neuroscience. Forty years later…