32032 search results - page 78 / 6407 » Verified programming in Guru |
88
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
108
click to vote
POPL
2010
ACM
15 years 29 days ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
154
Voted
SIGMOD
2008
ACM
16 years 27 days ago
2008
ACM
SIGMOD 2008 was the first database conference that offered to test submitters' programs against their data to verify the experiments published. This paper discusses the ratio...