MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The apprentice challenge." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

The Apprentice Challenge
by J. Strother Moore, George Porter — 2002 — ACM Trans. Program. Lang. Syst
…The Apprentice Challenge J. STROTHER MOORE and GEORGE PORTER University of Texas at Austin We…
Cited by 19 (8 self) – Add To MetaCart

The Apprentice Challenge
by Strother Moore University, J Strother Moore, George Porter — 2002 — ACM Trans. Program. Lang. Syst
…The Apprentice Challenge J STROTHER MOORE University of Texas at Austin and GEORGE PORTER…
Add To MetaCart

Solving the Apprentice Challenge with 3VMC November 28, 2002 Problem Statement
by The Apprentice Challenge, Modelling In Vmc
…Solving the Apprentice Challenge with 3VMC November 28, 2002 Problem Statement The apprentice…
Add To MetaCart

Property-Guided Verification of Concurrent Heap-Manipulating Programs
by Eran Yahav, Eran Yahav — 2004
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168 7.3 Solving the Apprentice Challenge . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB