345 search results - page 6 / 69 » A Programming Logic for Sequential Java |
141
click to vote
TACAS
2005
Springer
15 years 11 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...
129
click to vote
CADE
2007
Springer
16 years 6 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...
125
Voted
LPAR
1993
Springer
15 years 10 months ago
1993
Springer
166
click to vote
PARELEC
2000
IEEE
15 years 10 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...
172
click to vote
CISIS
2008
IEEE
16 years 8 days 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...