7124 search results - page 72 / 1425 » Programming Languages and Operating Systems |
136
Voted
ESOP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
111
click to vote
POPL
2010
ACM
15 years 11 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 ...
166
Voted
AOSD
2005
ACM
15 years 8 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
112
Voted
ENTCS
2008
15 years 2 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
145
click to vote
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...