258
click to vote
SAS
13 years 10 months ago
2012 Springer 
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
172
Voted
SAS
13 years 10 months ago
2012 Springer 226
click to vote
SAS
13 years 10 months ago
2012 Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
|
Formal Methods