345 search results - page 6 / 69 » A Programming Logic for Sequential Java |
TACAS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
CADE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
LPAR
1993
Springer
15 years 3 months ago
1993
Springer
PARELEC
2000
IEEE
15 years 3 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
96
Voted
CISIS
2008
IEEE
15 years 5 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...