6274 search results - page 426 / 1255 » Proofs, Programs, Processes |
171
click to vote
VL
2003
IEEE
16 years 2 days ago
2003
IEEE
One of the reputed advantages of end-user programming languages is that they support a given problem doh a set of programming abstractions that are “just right” for the end-us...
210
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
180
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
217
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...