Search Sciweavers | Sciweavers

3872 search results - page 69 / 775

» The Java memory model

110

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 11 months ago

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

107

click to vote

SCHULE
2005
Springer

82views Information Technology» more SCHULE 2005»

Spielerisches Erlernen der Programmierung mit dem Java-Hamster Modell

15 years 11 months ago

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

Dietrich Boles

claim paper

Read More »

110

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 10 months ago

Download www.vs.inf.ethz.ch

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

claim paper

Read More »

154

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 10 months ago

Download www.cs.tut.fi

Tarja Systä

claim paper

Read More »

116

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers