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 languageEnglish
    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
    EventObject-Oriented Technology. ECOOP 2008 Workshop Reader - Paphos, Cyprus
    Duration: 8 Jul 20088 Jul 2008

    Publication series

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

    Workshop

    WorkshopObject-Oriented Technology. ECOOP 2008 Workshop Reader
    Period8/07/088/07/08
    OtherJuly 8, 2008

    Keywords

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

    Cite this