Refinement

Results: 838



#Item
231

A Theory of Program Refinement Ewen W.K.C. Denney Doctor of Philosophy University of Edinburgh

Add to Reading List

Source URL: www.irisa.fr

Language: English - Date: 2000-02-02 11:55:14
    232

    Improving Usability via Access Decomposition and Policy Refinement Neal H. Walfield and Marcus Brinkmann {neal,marcus}@gnu.org ternal input, an attacker is able to confuse Alice’s web Abstract browser and gain all of h

    Add to Reading List

    Source URL: www.walfield.org

    Language: English - Date: 2015-04-14 03:13:52
      233

      Requirements, specifications, and minimal refinement Nikos Gorogiannis Mark Ryan

      Add to Reading List

      Source URL: www.eis.mdx.ac.uk

      Language: English
        234

        Approaches to Composition and Refinement in Object-Oriented Design Marcel Weiher MatrikelnummerDiplomarbeit Fachbereich Informatik

        Add to Reading List

        Source URL: www.metaobject.com

        Language: English - Date: 2002-08-27 05:48:29
          235

          Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala

          Add to Reading List

          Source URL: ranjitjhala.github.io

          Language: English - Date: 2016-01-05 00:35:10
            236

            L op Detection Advances in Counterexample Guided Abstraction-Refinement Counterexample-guided abstraction-refinement based on predicate abstraction enables model checking large C programs (such as Windows device drivers)

            Add to Reading List

            Source URL: www.georg.weissenbacher.name

            Language: English - Date: 2010-10-22 10:59:31
              237

              On-Demand Refinement of Dependent Types Hiroshi Unno1 and Naoki Kobayashi2 1 University of Tokyo, 2

              Add to Reading List

              Source URL: www.cs.tsukuba.ac.jp

              Language: English - Date: 2009-07-23 02:12:07
                238

                Refinement Types and Computational Duality Noam Zeilberger Carnegie Mellon University Abstract

                Add to Reading List

                Source URL: noamz.org

                Language: English - Date: 2014-03-22 01:19:25
                  239

                  Quantitative Abstraction Refinement ∗ ˇ y Pavol Cern´ Thomas A. Henzinger

                  Add to Reading List

                  Source URL: ecee.colorado.edu

                  Language: English - Date: 2013-01-11 01:47:56
                    240

                    Tonale. The refinement of function. Tonale design David Chipperfield, 2009

                    Add to Reading List

                    Source URL: www.alessi.jp

                    Language: French - Date: 2011-07-18 01:26:53
                      UPDATE