3311 search results - page 406 / 663 » Deductive Object Programming |
119
click to vote
ENTCS
2006
15 years 3 months ago
2006
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
102
click to vote
MSCS
1998
15 years 3 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
186
click to vote
MEDBIOMETRICS
2010
15 years 2 months ago
2010
This study proposes an effective method called DIAMOND to classify biological and medical data. Given a set of objects with some classes, DIAMOND separates the objects into differe...
137
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
128
click to vote
COORDINATION
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...