Liveness

Results: 51



#Item
21On the Usefulness of Liveness for Garbage Collection and Leak Detection Martin Hirzel1 , Amer Diwan1 , and Antony Hosking2 1 University of Colorado

On the Usefulness of Liveness for Garbage Collection and Leak Detection Martin Hirzel1 , Amer Diwan1 , and Antony Hosking2 1 University of Colorado

Add to Reading List

Source URL: www-plan.cs.colorado.edu

Language: English - Date: 2002-04-02 15:56:10
    22A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk

    A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk

    Add to Reading List

    Source URL: people.eng.unimelb.edu.au

    Language: English - Date: 2014-07-24 21:25:10
      23On the Usefulness of Type and Liveness Accuracy for Garbage Collection and Leak Detection MARTIN HIRZEL, AMER DIWAN, and JOHANNES HENKEL University of Colorado

      On the Usefulness of Type and Liveness Accuracy for Garbage Collection and Leak Detection MARTIN HIRZEL, AMER DIWAN, and JOHANNES HENKEL University of Colorado

      Add to Reading List

      Source URL: www-plan.cs.colorado.edu

      Language: English - Date: 2003-01-28 16:04:32
        24Paper Title (use style: paper title)

        Paper Title (use style: paper title)

        Add to Reading List

        Source URL: liveprogramming.github.io

        Language: English - Date: 2013-05-19 19:35:21
        25Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion? Søren Debois1 , Thomas Hildebrandt1 , Tijs Slaats1,2 , and Nobuko Yoshida3 1

        Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion? Søren Debois1 , Thomas Hildebrandt1 , Tijs Slaats1,2 , and Nobuko Yoshida3 1

        Add to Reading List

        Source URL: mrg.doc.ic.ac.uk

        Language: English - Date: 2014-04-04 13:04:14
          26Seeing is Not Believing: Visual Verifications through Liveness Analysis using Mobile Devices Mahmudur Rahman Umut Topkara

          Seeing is Not Believing: Visual Verifications through Liveness Analysis using Mobile Devices Mahmudur Rahman Umut Topkara

          Add to Reading List

          Source URL: users.cis.fiu.edu

          Language: English - Date: 2013-09-07 22:22:37
            27

            PDF Document

            Add to Reading List

            Source URL: ramund.ikk.ku.dk

            Language: English - Date: 2014-01-23 11:56:06
            28Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

            Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

            Add to Reading List

            Source URL: flint.cs.yale.edu

            Language: English - Date: 2013-07-18 23:10:16
            29Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1

            Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1

            Add to Reading List

            Source URL: www-i2.informatik.rwth-aachen.de

            Language: English - Date: 2006-07-26 07:36:58