28 search results - page 6 / 6 » Supervisory control of modular systems with global specifica... |
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
76
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
LRE
2006
14 years 9 months ago
2006
A lack of surveillance system infrastructure in the Asia-Pacific region is seen as hindering the global control of rapidly spreading infectious diseases such as the recent avian H5...