J STROTHER MOORE University of Texas at Austin and GEORGE PORTER University...  Home/Search
Context
Related
| utexas.edu/users/moore/...apprentice.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/users/moore/publica... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we will study the Java classes shown in Figure 1. Here, the main method in the Apprentice class builds an instance of a Container object and then begins creating and starting new threads of class Job, each of which nds the Container object in its objref eld. The run method for the class Job is an in nite loop invoking the incr method on the job. The incr method obtains a lock on the objref of the job and then reads, increments, and writes the contents of its counter eld. This is a ... (Update)
Similar documents (at the sentence level):
65.2%: The Apprentice Challenge - Moore, Porter (Correct)
11.2%: Proving Properties of Java Threads - Moore, Porter (2000) (Correct)
Similar documents based on text: More All
0.4: Solving the Apprentice Challenge with 3VMC November 28.. - The Apprentice Challenge (Correct)
0.3: An Executable Formal Java Virtual Machine Thread Model - Moore, Porter (2000) (Correct)
0.2: A Mechanically Verified Language Implementation - Strother Moore (1989) (Correct)
BibTeX entry: (Update)
@misc{ university-apprentice,
author = "Strother Moore University",
title = "The Apprentice Challenge",
url = "citeseer.ist.psu.edu/640104.html" }
Citations not processed or no citations identified.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC