1550 search results - page 201 / 310 » Erlang for Concurrent Programming |
107
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
1 This paper presents a methodology to develop more modular parallel applications, based on aspect oriented programming. Traditional object oriented mechanisms implement applicatio...
140
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
111
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
114
click to vote
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
116
click to vote
LSSC
2001
Springer
15 years 6 months ago
2001
Springer
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...