6740 search results - page 722 / 1348 » Using Classification as a Programming Language |
172
click to vote
APLAS
2005
ACM
16 years 19 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
157
click to vote
ISCOPE
1997
Springer
15 years 11 months ago
1997
Springer
The original specification for the Message Passing Interface (MPI) included language bindings for C and Fortran 77. C++ programs that used MPI were thus required to use the C bin...
191
click to vote
CAV
2004
Springer
16 years 14 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
143
click to vote
ENTCS
2007
15 years 7 months ago
2007
We study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming feat...
154
click to vote
LISP
1998
15 years 6 months ago
1998
This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional la...