3311 search results - page 417 / 663 » Deductive Object Programming |
111
click to vote
SIGDOC
1992
ACM
15 years 8 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
115
click to vote
TOOLS
1992
IEEE
15 years 8 months ago
1992
IEEE
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
116
click to vote
IFIP
2010
Springer
15 years 7 months ago
2010
Springer
: Robotic microhandling is disturbed by the adhesion phenomenon between the micro-object and the grippers. This phenomenon is directly linked to both the object and the gripper sur...
127
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
130
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...