Separation

Results: 10698



#Item
91

CREDIT APPLICATION CORPORATION Industrial & Medical Air Separation Equipment 401 Creekside Drive, Buffalo, New YorkFIRM NAME:

Add to Reading List

Source URL: files.chartindustries.com

- Date: 2015-07-31 16:25:39
    92

    Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

    Add to Reading List

    Source URL: www.lsv.ens-cachan.fr

    - Date: 2014-02-21 17:46:20
      93

      Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2014-03-02 08:51:30
        94

        Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

        Add to Reading List

        Source URL: prosper.sics.se

        - Date: 2013-10-17 09:26:32
          95

          A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2014-01-21 06:29:06
            96

            Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

            Add to Reading List

            Source URL: software.imdea.org

            - Date: 2016-08-04 13:20:18
              97

              Logical Investigations on Separation Logics Day 4: Relationships To Other Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2015-08-13 05:24:07
                98

                BRIDGING COMMUNAL DIVIDES: SEPARATION, PATRONAGE, INTEGRATION• by Indraneel Dasgupta University of Nottingham

                Add to Reading List

                Source URL: www.arts.cornell.edu

                - Date: 2003-07-18 10:00:01
                  99

                  Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1397 Culling Concurrency Theory Reusable and trustworthy meta-theory, proof techniques and separation results

                  Add to Reading List

                  Source URL: uu.diva-portal.org

                  - Date: 2016-08-26 07:12:20
                    100

                    Logical Investigations on Separation Logics Lecture 1: First Steps in Separation Logics ´ Stephane Demri (CNRS) & Morgan Deters (NYU)

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2015-08-10 06:09:10
                      UPDATE