Sciweavers

188 search results - page 1 / 38

» java 2001

172

Voted

JAVA
2001
Springer

142views Programming Languages» more JAVA 2001»

Automatic translation of Fortran to JVM bytecode

15 years 11 months ago

Automatic translation of Fortran to JVM bytecode

Download icl.cs.utk.edu

Keith Seymour, Jack Dongarra

claim paper

Read More »

153

NETSEC
2001

100views Security Privacy» more NETSEC 2001»

Secure Java Development with UML

15 years 8 months ago

Secure Java Development with UML

Download www4.in.tum.de

Jan Jürjens

claim paper

Read More »

448

Voted

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

16 years 7 months ago

Verifying safety properties of concurrent Java programs using 3-valued logic

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

125

WEBNET
2001

180views Internet Technology» more WEBNET 2001»

e-Portfolio: Java Technology for Financial Applications on the Internet

15 years 8 months ago

e-Portfolio: Java Technology for Financial Applications on the Internet

Download arantxa.ii.uam.es

Alberto Suárez, Pablo Castells

claim paper

Read More »

168

Voted

COOTS
1997

81views Programming Languages» more COOTS 1997»

Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?)

15 years 8 months ago

Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?)

Download www.usenix.org

Todd A. Proebsting, Scott A. Watterson

claim paper

Read More »

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