Sciweavers

188 search results - page 1 / 38

» java 2001

114

JAVA
2001
Springer

142views Programming Languages» more JAVA 2001»

Automatic translation of Fortran to JVM bytecode

15 years 6 months ago

Automatic translation of Fortran to JVM bytecode

Download icl.cs.utk.edu

Keith Seymour, Jack Dongarra

claim paper

Read More »

89

NETSEC
2001

100views Security Privacy» more NETSEC 2001»

Secure Java Development with UML

15 years 3 months ago

Secure Java Development with UML

Download www4.in.tum.de

Jan Jürjens

claim paper

Read More »

315

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

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

16 years 2 months ago

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

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

78

Voted

WEBNET
2001

180views Internet Technology» more WEBNET 2001»

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

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

109

Voted

COOTS
1997

81views Programming Languages» more COOTS 1997»

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

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