Semantics Recognition for Handling Objects
نویسندگان
چکیده
منابع مشابه
Operational semantics for signal handling
Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run. Signal handling is reminiscent both of exception handling and concurrent interleaving of processes. In this paper, we investigate different approaches to formalizing signal handling in operational semantics, and...
متن کاملTrace semantics for concurrent objects
The theory of traces (the theory of free partial commutative monoids) is used to describe the behavior of systems of concurrent objects. A composition operation on systems and a synchronization operation on behaviors are presented: they allow to derive the behavior of complex systems from the behavior of its components. To address fundamental issues of concurrent semantics for objects in genera...
متن کامل(Co-)Inductive semantics for Constraint Handling Rules
In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules in a sound and complete way with respect to their declarative semantics. Firstly, we show that the logical reading of states with respect to a set of simplification rules can be characterized by a least fixpoint over t...
متن کاملFer" ? Amathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general forms of jumps.
متن کاملContact Handling for Deformable Point-Based Objects
This paper presents an approach to collision detection and response for dynamically deforming pointbased objects. Both the volume of an object and its surface are represented by point sets. In case of a collision, response forces are computed for penetrating surface points and distributed to volume points which are used for simulating the object dynamics. The decoupling of collision handling an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Robotics Society of Japan
سال: 2017
ISSN: 0289-1824,1884-7145
DOI: 10.7210/jrsj.35.17