2111 search results - page 278 / 423 » How to Program Pervasive Systems |
107
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
133
Voted
ESOP
2010
Springer
15 years 5 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
100
Voted
IJCAI
2007
15 years 4 months ago
2007
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...
118
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
100
Voted
CONCURRENCY
2008
15 years 2 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...