Search Sciweavers | Sciweavers

2062 search results - page 23 / 413

» Hardware Objects for Java

click to vote

SAC
2009
ACM

194views Applied Computing» more SAC 2009»

Points-to analysis for JavaScript

14 years 2 months ago

Download plus.kaist.ac.kr

JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...

Dongseok Jang, Kwang-Moo Choe

claim paper

Read More »

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

14 years 1 months ago

Download cav2007.org

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

claim paper

Read More »

click to vote

AICCSA
2006
IEEE

113views Hardware» more AICCSA 2006»

An Experiment in Automatic Conversion of Legacy Java Programs to C#

14 years 1 months ago

Download www.cs.le.ac.uk

Mohammad El-Ramly, Rihab Eltayeb, Hisham A. Alla

claim paper

Read More »

click to vote

AICCSA
2005
IEEE

86views Hardware» more AICCSA 2005»

Supporting several real-time applications on the Java platform

14 years 1 months ago

Download dsa-research.com

M. Teresa Higuera-Toledano

claim paper

Read More »

click to vote

ESOP
2005
Springer

152views Programming Languages» more ESOP 2005»

Java Jr: Fully Abstract Trace Semantics for a Core Java Language

14 years 1 months ago

Download www.asaj.org

: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...

Alan Jeffrey, Julian Rathke

claim paper

Read More »

« Prev « First page 23 / 413 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers