11022 search results - page 193 / 2205 » Programming Systems for Autonomy |
171
Voted
POPL
1998
ACM
15 years 10 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
157
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
152
click to vote
CASES
2001
ACM
15 years 9 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
175
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
- Many software development platforms provide a large number of library components to make it easy to build high quality software. On the other hand, it became more and more diffic...
171
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...