1710 search results - page 25 / 342 » High-Level Programs and Program Conditions |
86
Voted
TOCL
2008
15 years 2 months ago
2008
205
Voted
MOR
2011
14 years 9 months ago
2011
118
Voted
MP
2011
14 years 9 months ago
2011
111
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
122
Voted
ENTCS
2002
15 years 2 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...