Soundness

Results: 384



#Item
11Sound and Soundness Practical Total Functional Data-Flow Programming Baltasar Trancón y Widemann12 1

Sound and Soundness Practical Total Functional Data-Flow Programming Baltasar Trancón y Widemann12 1

Add to Reading List

Source URL: functional-art.org

Language: English - Date: 2018-06-28 16:27:12
12On Completeness and Soundness in Interactive Proof Systems Martin Furer, Computer Science Dept., Pennsylvania state Univ., University Park, PAOded Goldreich, Computer Science Dept., Technion, Haifa, Israel. Yisha

On Completeness and Soundness in Interactive Proof Systems Martin Furer, Computer Science Dept., Pennsylvania state Univ., University Park, PAOded Goldreich, Computer Science Dept., Technion, Haifa, Israel. Yisha

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2014-06-22 06:26:30
    13Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar  tifact

    Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

    Add to Reading List

    Source URL: homes.soic.indiana.edu

    - Date: 2017-01-20 03:43:22
      14Type Soundness Proofs with Definitional Interpreters  Ar Ev

      Type Soundness Proofs with Definitional Interpreters Ar Ev

      Add to Reading List

      Source URL: lampwww.epfl.ch

      - Date: 2016-12-01 23:01:36
        15Delegating RAM Computations with Adaptive Soundness and Privacy∗ Prabhanjan Ananth† Yu-Chi Chen‡

        Delegating RAM Computations with Adaptive Soundness and Privacy∗ Prabhanjan Ananth† Yu-Chi Chen‡

        Add to Reading List

        Source URL: eprint.iacr.org

        - Date: 2016-10-18 18:27:40
          16GRADING U.S. STAMPS In late 2001, Professional Stamp Experts presented to the philatelic community a grading system for United States Postage Stamps. For the first time, all attributes of a stamp – centering, soundness

          GRADING U.S. STAMPS In late 2001, Professional Stamp Experts presented to the philatelic community a grading system for United States Postage Stamps. For the first time, all attributes of a stamp – centering, soundness

          Add to Reading List

          Source URL: www.gradingmatters.com

          - Date: 2014-08-14 14:21:47
            17Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

            Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2009-07-07 04:46:34
              18Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com

              Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Towards Soundness Preserving Approximation for ABox Reasoning of OWL2 Yuan Ren, Jeff Z. Pan and Yuting Zhao Department of Com

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2010-04-20 14:40:19
                19A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz

                A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz

                Add to Reading List

                Source URL: homepages.ecs.vuw.ac.nz

                - Date: 2016-06-28 21:00:30
                  20Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

                  Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  - Date: 2014-09-13 07:14:29