Sciweavers

1932 search results - page 14 / 387
» Molecule-oriented programming in Java
Sort
View
89
Voted
PPPJ
2003
ACM
15 years 6 months ago
Towards the systematic use of interfaces in JAVA programming
JAVA’s interface construct is widely perceived as a weak surrogate for multiple inheritance. Consequently, it should come as no surprise that despite their potential for writing...
Friedrich Steimann, Wolf Siberski, Thomas Küh...
145
Voted
TOPLAS
2010
115views more  TOPLAS 2010»
14 years 11 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
ERSHOV
2009
Springer
15 years 4 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
81
Voted
ESOP
1999
Springer
15 years 5 months ago
A Programming Logic for Sequential Java
Arnd Poetzsch-Heffter, Peter Müller