A Theory Of Objects
Download A Theory Of Objects PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get A Theory Of Objects book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
A Theory of Objects
Author: Martin Abadi
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-09-08
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.
How Humans Recognize Objects: Segmentation, Categorization and Individual Identification
Human beings experience a world of objects: bounded entities that occupy space and persist through time. Our actions are directed toward objects, and our language describes objects. We categorize objects into kinds that have different typical properties and behaviors. We regard some kinds of objects – each other, for example – as animate agents capable of independent experience and action, while we regard other kinds of objects as inert. We re-identify objects, immediately and without conscious deliberation, after days or even years of non-observation, and often following changes in the features, locations, or contexts of the objects being re-identified. Comparative, developmental and adult observations using a variety of approaches and methods have yielded a detailed understanding of object detection and recognition by the visual system and an advancing understanding of haptic and auditory information processing. Many fundamental questions, however, remain unanswered. What, for example, physically constitutes an “object”? How do specific, classically-characterizable object boundaries emerge from the physical dynamics described by quantum theory, and can this emergence process be described independently of any assumptions regarding the perceptual capabilities of observers? How are visual motion and feature information combined to create object information? How are the object trajectories that indicate persistence to human observers implemented, and how are these trajectory representations bound to feature representations? How, for example, are point-light walkers recognized as single objects? How are conflicts between trajectory-driven and feature-driven identifications of objects resolved, for example in multiple-object tracking situations? Are there separate “what” and “where” processing streams for haptic and auditory perception? Are there haptic and/or auditory equivalents of the visual object file? Are there equivalents of the visual object token? How are object-identification conflicts between different perceptual systems resolved? Is the common assumption that “persistent object” is a fundamental innate category justified? How does the ability to identify and categorize objects relate to the ability to name and describe them using language? How are features that an individual object had in the past but does not have currently represented? How are categorical constraints on how objects move or act represented, and how do such constraints influence categorization and the re-identification of individuals? How do human beings re-identify objects, including each other, as persistent individuals across changes in location, context and features, even after gaps in observation lasting months or years? How do human capabilities for object categorization and re-identification over time relate to those of other species, and how do human infants develop these capabilities? What can modeling approaches such as cognitive robotics tell us about the answers to these questions? Primary research reports, reviews, and hypothesis and theory papers addressing questions relevant to the understanding of perceptual object segmentation, categorization and individual identification at any scale and from any experimental or modeling perspective are solicited for this Research Topic. Papers that review particular sets of issues from multiple disciplinary perspectives or that advance integrative hypotheses or models that take data from multiple experimental approaches into account are especially encouraged.
Towards a Theory of Spacetime Theories
This contributed volume is the result of a July 2010 workshop at the University of Wuppertal Interdisciplinary Centre for Science and Technology Studies which brought together world-wide experts from physics, philosophy and history, in order to address a set of questions first posed in the 1950s: How do we compare spacetime theories? How do we judge, objectively, which is the “best” theory? Is there even a unique answer to this question? The goal of the workshop, and of this book, is to contribute to the development of a meta-theory of spacetime theories. Such a meta-theory would reveal insights about specific spacetime theories by distilling their essential similarities and differences, deliver a framework for a class of theories that could be helpful as a blueprint to build other meta-theories, and provide a higher level viewpoint for judging which theory most accurately describes nature. But rather than drawing a map in broad strokes, the focus is on particularly rich regions in the “space of spacetime theories.” This work will be of interest to physicists, as well as philosophers and historians of science working with or interested in General Relativity and/or Space, Time and Gravitation more generally.