Sciweavers

188 search results - page 5 / 38

» java 2001

193

Voted

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

15 years 10 months ago

Removing Reflection from Java Programs Using Partial Evaluation

Download ilab1.korea.ac.kr

Jung Gyu Park, Arthur H. Lee

claim paper

Read More »

121

SIGADA
2001
Springer

60views Programming Languages» more SIGADA 2001»

Real-time convergence of Ada and Java™

15 years 10 months ago

Real-time convergence of Ada and Java

Download www.cs.uni.edu

Benjamin M. Brosgol, Brian Dobbing

claim paper

Read More »

159

APAQS
2001
IEEE

219views Software Engineering» more APAQS 2001»

Exception Analysis for Multithreaded Java Programs

15 years 9 months ago

Exception Analysis for Multithreaded Java Programs

Download ropas.snu.ac.kr

S. Ryu, K. Yi

claim paper

Read More »

120

Voted

CLUSTER
2001
IEEE

81views Distributed And Parallel Com...» more CLUSTER 2001»

Adaptive Cluster Computing using JavaSpaces

15 years 9 months ago

Adaptive Cluster Computing using JavaSpaces

Download www.csie.ntut.edu.tw

Jyoti Batheja, Manish Parashar

claim paper

Read More »

166

Voted

FASE
2001
Springer

126views Software Engineering» more FASE 2001»

A Logic for the Java Modeling Language JML

15 years 10 months ago

A Logic for the Java Modeling Language JML

Download www.cs.ru.nl

Abstract. This paper describes a specialised logic for proving speciﬁcations in the Java Modeling Language (JML). JML is an interface speciﬁcation language for Java. It allows ...

Bart Jacobs, Erik Poll

claim paper

Read More »

« Prev « First page 5 / 38 Last » Next »