4211 search results - page 286 / 843 » Types as Abstract Interpretations |
177
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
155
click to vote
C++
1994
15 years 8 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
163
click to vote
CJ
2000
15 years 6 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
131
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— A novel approach named recursive evidence filtering for information processing in Distributed Sensor Networks (DSNs) is presented. It is based on the Dempster-Shafer (...
114
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— This paper presents the computation and representation of the Type 2 singularity loci of symmetric spherical parallel mechanisms based on a not-well-known intuitive ori...