Sciweavers

188 search results - page 1 / 38

» java 2001

13

JAVA
2001
Springer

142views Programming Languages» more JAVA 2001»

Automatic translation of Fortran to JVM bytecode

13 years 9 months ago

Automatic translation of Fortran to JVM bytecode

Download icl.cs.utk.edu

Keith Seymour, Jack Dongarra

claim paper

Read More »

10

NETSEC
2001

100views Security Privacy» more NETSEC 2001»

Secure Java Development with UML

13 years 5 months ago

Secure Java Development with UML

Download www4.in.tum.de

Jan Jürjens

claim paper

Read More »

67

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

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

14 years 4 months ago

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

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

14

WEBNET
2001

180views Internet Technology» more WEBNET 2001»

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

13 years 5 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 »

7

COOTS
1997

81views Programming Languages» more COOTS 1997»

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

13 years 5 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 »