1710 search results - page 25 / 342 » High-Level Programs and Program Conditions |
TOCL
2008
13 years 7 months ago
2008
MOR
2011
13 years 2 months ago
2011
PADL
2010
Springer
14 years 4 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 ...
ENTCS
2002
13 years 7 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...