Sciweavers

188 search results - page 5 / 38

» java 2001

170

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

15 years 8 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 »

105

Voted

SIGADA
2001
Springer

60views Programming Languages» more SIGADA 2001»

Real-time convergence of Ada and Java™

15 years 8 months ago

Real-time convergence of Ada and Java

Download www.cs.uni.edu

Benjamin M. Brosgol, Brian Dobbing

claim paper

Read More »

129

APAQS
2001
IEEE

219views Software Engineering» more APAQS 2001»

Exception Analysis for Multithreaded Java Programs

15 years 7 months ago

Exception Analysis for Multithreaded Java Programs

Download ropas.snu.ac.kr

S. Ryu, K. Yi

claim paper

Read More »

97

CLUSTER
2001
IEEE

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

Adaptive Cluster Computing using JavaSpaces

15 years 7 months ago

Adaptive Cluster Computing using JavaSpaces

Download www.csie.ntut.edu.tw

Jyoti Batheja, Manish Parashar

claim paper

Read More »

133

FASE
2001
Springer

126views Software Engineering» more FASE 2001»

A Logic for the Java Modeling Language JML

15 years 8 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 »