Search Sciweavers | Sciweavers

3872 search results - page 69 / 775

» The Java memory model

click to vote

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

15 years 5 months ago

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

click to vote

SCHULE
2005
Springer

82views Information Technology» more SCHULE 2005»

Spielerisches Erlernen der Programmierung mit dem Java-Hamster Modell

15 years 5 months ago

Download www-is.informatik.uni-oldenburg.de

Dietrich Boles

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 4 months ago

Download www.vs.inf.ethz.ch

David A. Basin, Stefan Friedrich, Joachim Posegga,...

claim paper

Read More »

click to vote

WCRE
1999
IEEE

105views Software Engineering» more WCRE 1999»

On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software

15 years 4 months ago

Download www.cs.tut.fi

Tarja Systä

claim paper

Read More »

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers