Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

E. Albert, A. Banerjee, S. Drossopoulou, Marieke Huisman, A. Igarashi, G.T. Leavens, P. Müller, T. Wrigstad

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Abstract

    This report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ECOOP 2008. It explains the motivation for the workshop, and summarises the presentations and discussions.
    Original languageUndefined
    Title of host publicationObject-Oriented Technology. ECOOP 2008 Workshop Reader
    EditorsP. Eugster
    Place of PublicationBerlin
    PublisherSpringer
    Pages70-76
    Number of pages7
    ISBN (Print)978-3-642-02046-9
    DOIs
    Publication statusPublished - 2009

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume5475
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • EWI-15155
    • IR-62761
    • METIS-263757

    Cite this

    Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., ... Wrigstad, T. (2009). Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In P. Eugster (Ed.), Object-Oriented Technology. ECOOP 2008 Workshop Reader (pp. 70-76). [10.1007/978-3-642-02047-6_8] (Lecture Notes in Computer Science; Vol. 5475). Berlin: Springer. https://doi.org/10.1007/978-3-642-02047-6_8