3323 search results - page 432 / 665 » Computational Semantics with Functional Programming |
191
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
184
click to vote
PVM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
190
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
158
click to vote
ISSTA
2004
ACM
16 years 13 hour ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
165
click to vote
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...