Blog
About

5
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      ECOOP 2004 – Object-Oriented Programming 

      Object Invariants in Dynamic Contexts

      ,

      Springer Berlin Heidelberg

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 16

          • Record: found
          • Abstract: not found
          • Article: not found

          Dynamically discovering likely program invariants to support program evolution

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A behavioral notion of subtyping

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Extended static checking for Java

                Bookmark

                Author and book information

                Book
                978-3-540-22159-3
                978-3-540-24851-4
                2004
                10.1007/b98195
                Book Chapter
                2004
                : 491-515
                10.1007/978-3-540-24851-4_22

                Comments

                Comment on this book