4880 search results - page 493 / 976 » Manuals as Structured Programs |
200
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
201
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...
189
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
188
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
174
click to vote
SIGCSE
2004
ACM
16 years 14 days ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...