4438 search results - page 205 / 888 » The Case for Collaborative Programming |
186
click to vote
HVC
2005
Springer
16 years 11 hour ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
156
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
165
click to vote
IEEEICCI
2003
IEEE
15 years 12 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
182
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
168
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...