3311 search results - page 169 / 663 » Deductive Object Programming |
136
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
231
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
147
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
128
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Java RMI extends Java with distributed objects whose methods can be called from remote clients. traction is supported using statically-generated proxy objects on the client to hid...
144
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes the innovative use of a genetic algorithm to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a `best&#...