Sciweavers

3311 search results - page 124 / 663
» Deductive Object Programming
Sort
View

Book
332views
16 years 11 months ago
Developing Applications With Objective Caml
"This is a preliminary translation of the book Développement d'applications avec Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, published by O�...
Emmanuel Chailloux, Pascal Manoury and Bruno Pagan...
ENTCS
2008
153views more  ENTCS 2008»
15 years 1 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
PRL
2002
75views more  PRL 2002»
15 years 1 months ago
Robust evidence-based object tracking
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
Pelopidas Lappas, John N. Carter, Robert I. Damper
DSL
2009
14 years 11 months ago
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
Sumant Tambe, Aniruddha S. Gokhale
ENTCS
2006
135views more  ENTCS 2006»
15 years 1 months ago
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
zing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme 1 Microsoft Research, Cambridge, U.K. Mutual dependencies between objects arise frequently in pr...
Don Syme