497 search results - page 21 / 100 » Essentials of the Java Programming Language, Part 1 |
106
click to vote
CORR
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
132
Voted
WOA
2003
15 years 1 months ago
2003
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
127
click to vote
EMSOFT
2011
Springer
14 years 4 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
ENTCS
2002
15 years 5 days ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
92
Voted
JAVA
1999
Springer
15 years 4 months ago
1999
Springer
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...