302 search results - page 39 / 61 » An approach to synthesise safe systems |
113
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
SAC
2006
ACM
15 years 11 days ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
101
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
91
Voted
IJCAI
2007
15 years 1 months ago
2007
In modern urban settings, automobile traffic and collisions lead to endless frustration as well as significant loss of life, property, and productivity. Recent advances in arti...
126
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...