Formal Techniques for Java‐like Programs: Concurrency and Computation: Practice and Experience: Vol 16, No 7

Journal list menu

Sign up for email alerts

Enter your email to receive alerts when new articles and issues are published.

Email address

Please select your location and accept the terms of use.

Country or location

I consent to Wiley Online Library’s Terms of Use and processing of my personal data as disclosed in Wiley’s Privacy Policy.I consent to my personal information being transferred outside of the People’s Republic of China as laid out in Wiley’s Privacy Policy.*(Optional) I consent to special offers, newsletter & promotions from Wiley. See Privacy Policy for more details.

Tools

Submit an article

Journal Metrics

Subscribe to this journal

Concurrency and Computation: Practice and Experience

Journal list menu

Tools

Follow journal

Concurrency and Computation: Practice and Experience: Volume 16, Issue 7

Special Issue:Formal Techniques for Java‐like Programs

Editorials

Special Issue: Formal Techniques for Java-like Programs

Research Articles

Simple verification technique for complex Java bytecode subroutines

Checking ownership and confinement

Analysing the Java package/access concepts in Isabelle/HOL

Transposing F to C^♯: expressivity of parametric polymorphism in an object-oriented language

Tools

More from this journal

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Concurrency and Computation: Practice and Experience

Journal list menu

Tools

Follow journal

Concurrency and Computation: Practice and Experience: Volume 16, Issue 7

Special Issue:Formal Techniques for Java‐like Programs

Download PDFs

Editorials

Special Issue: Formal Techniques for Java-like Programs

Research Articles

Simple verification technique for complex Java bytecode subroutines

Checking ownership and confinement

Analysing the Java package/access concepts in Isabelle/HOL

Transposing F to C♯: expressivity of parametric polymorphism in an object-oriented language

Sign up for email alerts

Tools

More from this journal

Transposing F to C^♯: expressivity of parametric polymorphism in an object-oriented language