Refinement

Results: 838



#Item
21Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

Add to Reading List

Source URL: nikivazou.github.io

Language: English - Date: 2018-04-16 22:20:31
    22Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

    Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

    Add to Reading List

    Source URL: www.sri.inf.ethz.ch

    Language: English - Date: 2018-05-15 09:28:46
      23Towards Refinement Types for Time-Dependent Data-Flow Networks

      Towards Refinement Types for Time-Dependent Data-Flow Networks

      Add to Reading List

      Source URL: feever.fr

      Language: English - Date: 2016-05-26 09:52:03
        24A Framework for the Automatic Formal Verification of Refinement from Cogent to C Christine Rizkallah4 , Japheth Lim1 , Yutaka Nagashima1 , Thomas Sewell1,2 , Zilin Chen1,2 , Liam O’Connor1,2 , Toby Murray1,3 , Gabriele

        A Framework for the Automatic Formal Verification of Refinement from Cogent to C Christine Rizkallah4 , Japheth Lim1 , Yutaka Nagashima1 , Thomas Sewell1,2 , Zilin Chen1,2 , Liam O’Connor1,2 , Toby Murray1,3 , Gabriele

        Add to Reading List

        Source URL: itp2016.inria.fr

        Language: English - Date: 2016-08-30 03:42:26
          25Developing Security Protocols by Refinement Christoph Sprenger David Basin Dept. of Computer Science

          Developing Security Protocols by Refinement Christoph Sprenger David Basin Dept. of Computer Science

          Add to Reading List

          Source URL: people.inf.ethz.ch

          Language: English - Date: 2014-04-16 16:25:47
            26Abstract Refinement Types Niki Vazou1 , Patrick M. Rondon2 , and Ranjit Jhala1 1 UC San Diego

            Abstract Refinement Types Niki Vazou1 , Patrick M. Rondon2 , and Ranjit Jhala1 1 UC San Diego

            Add to Reading List

            Source URL: goto.ucsd.edu

            Language: English - Date: 2013-01-14 10:52:36
              27IEEE International Symposium on Policies for Distributed Systems and Networks (POLICYTool-Supported Refinement of HighLevel Requirements and Constraints into Low-Level Policies Outline:

              IEEE International Symposium on Policies for Distributed Systems and Networks (POLICYTool-Supported Refinement of HighLevel Requirements and Constraints into Low-Level Policies Outline:

              Add to Reading List

              Source URL: www.policy-workshop.org

              Language: English - Date: 2011-06-13 06:57:18
                28Materials for the Annual report of Department of IPP for the yearThe present Tariff Commission in India is the result of the refinement and amalgamation of the functions of its predecessor organizations namely,

                Materials for the Annual report of Department of IPP for the yearThe present Tariff Commission in India is the result of the refinement and amalgamation of the functions of its predecessor organizations namely,

                Add to Reading List

                Source URL: tc.nic.in

                Language: English - Date: 2014-01-28 06:34:08
                  29Bounded Refinement Types Niki Vazou, Alexander Bakst, Ranjit Jhala (UC San Diego)

                  Bounded Refinement Types Niki Vazou, Alexander Bakst, Ranjit Jhala (UC San Diego)

                  Add to Reading List

                  Source URL: goto.ucsd.edu

                  Language: English - Date: 2015-05-18 02:33:44
                    30WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds ∗ Jens Knoop

                    WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds ∗ Jens Knoop

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    Language: English - Date: 2013-12-12 08:27:54