1932 search results - page 57 / 387 » Molecule-oriented programming in Java |
107
click to vote
ISPAN
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
125
Voted
FIDJI
2003
Springer
15 years 5 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
92
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
109
click to vote
LCPC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
90
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...