Concurrency and Computation: Practice and Experience

© John Wiley & Sons, Ltd.

Cover image for Concurrency and Computation: Practice and Experience

Special Issue: Formal Techniques for Java-like Programs

June 2004

Volume 16, Issue 7

Pages 645–733

Issue edited by: Peter Müller, David A. Naumann, Erik Poll

  1. Editorials

    1. Top of page
    2. Editorials
    3. Research Articles
    1. You have free access to this content
      Special Issue: Formal Techniques for Java-like Programs (pages 645–646)

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.797

  2. Research Articles

    1. Top of page
    2. Editorials
    3. Research Articles
    1. Simple verification technique for complex Java bytecode subroutines (pages 647–670)

      Alessandro Coglio

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.798

    2. Checking ownership and confinement (pages 671–687)

      Alex Potanin, James Noble and Robert Biddle

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.799

    3. Analysing the Java package/access concepts in Isabelle/HOL (pages 689–706)

      Norbert Schirmer

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.800

    4. Transposing F to C♯: expressivity of parametric polymorphism in an object-oriented language (pages 707–733)

      Andrew Kennedy and Don Syme

      Article first published online: 27 APR 2004 | DOI: 10.1002/cpe.801

SEARCH

SEARCH BY CITATION