1210 search results - page 28 / 242 » Formal Techniques for Java Programs |
148
click to vote
DEXA
1997
Springer
15 years 5 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
114
click to vote
ENTCS
2007
15 years 1 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
227
click to vote
Book
"Before you can start learning specific servlet and JSP techniques, you need to have
the right software and know how to use it. This introductory chapter explains how to
obt...
153
Voted
RTA
2010
Springer
15 years 5 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
ISTA
2001
15 years 3 months ago
2001
: In this article, the visual Internet-oriented Java-based E-net Simulation System (JESS) is considered. JESS supports all the simulation stages from constructing the models to exp...