1491 search results - page 76 / 299 » Resource-Passing Concurrent Programming |
PPPJ
2009
ACM
14 years 5 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
CLUSTER
2000
IEEE
14 years 3 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
CONCURRENCY
1998
13 years 10 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
SCAM
2007
IEEE
14 years 5 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...