University of Sussex
Browse

File(s) not publicly available

Java Jr: Fully abstract trace semantics for a Core Java Language

presentation
posted on 2023-06-07, 21:41 authored by Alan Jeffrey, Julian Rathke
No description supplied

History

Publication status

  • Published

Publisher

Springer-Verlag

Volume

3444

Page range

423-438

Pages

6.0

Presentation Type

  • paper

Event name

Proceedings of ESOP, part of ETAPS. Lecture Notes in Computer Science

Event type

conference

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Editors

M Sagiv

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Keywords

    Uncategorised value

    Licence

    Copyright not evaluated

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC