1932 search results - page 128 / 387 » Molecule-oriented programming in Java |
133
click to vote
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
87
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
109
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
85
Voted
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
85
Voted
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...