Search Sciweavers | Sciweavers

1932 search results - page 14 / 387

» Molecule-oriented programming in Java

111

Voted

PPPJ
2003
ACM

81views Software Engineering» more PPPJ 2003»

Towards the systematic use of interfaces in JAVA programming

15 years 9 months ago

Download www.kbs.uni-hannover.de

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...

claim paper

Read More »

170

Voted

TOPLAS
2010

115views more TOPLAS 2010»

JavaCOP: Declarative pluggable types for java

15 years 2 months ago

Download www.cs.ucla.edu

program constraints are deﬁned 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, ...

claim paper

Read More »

123

Voted

ERSHOV
2009
Springer

123views Theoretical Computer Science» more ERSHOV 2009»

A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols

15 years 7 months ago

Download pat.keldysh.ru

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

claim paper

Read More »

167

Voted

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

15 years 8 months ago