1988 search results - page 21 / 398 » Engineering formal metatheory |
117
click to vote
IWFM
1998
15 years 5 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present an open-source parsing environment (T