3311 search results - page 162 / 663 » Deductive Object Programming |
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
114
Voted
SIGPLAN
2002
15 years 1 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
135
Voted
ICRA
1995
IEEE
15 years 5 months ago
1995
IEEE
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
115
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...