Symbolic

Results: 1438



#Item
141

SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 March 28, 2016 (Monday) 09:00 ~ 10:30 Registration 10:30 ~ 12:30

Add to Reading List

Source URL: 54.200.129.9

- Date: 2016-03-29 01:33:24
    142

    J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

    Add to Reading List

    Source URL: www.cs.uoregon.edu

    - Date: 2010-06-25 18:00:46
      143

      PA RT I The Polluted Public Square The public square is that literal and symbolic place where we meet to discuss and debate problems of the commons. It may be a church basement, a television studio or around a water coo

      Add to Reading List

      Source URL: newsociety.com

      - Date: 2016-04-21 15:11:18
        144

        Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk

        Add to Reading List

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

        - Date: 2016-02-07 18:26:53
          145

          Exact Bayesian Inference by Symbolic Disintegration Chung-chieh Shan Norman Ramsey Indiana University, USA

          Add to Reading List

          Source URL: homes.soic.indiana.edu

          - Date: 2016-11-25 21:01:47
            146

            Arithmetic with Free Algebras and Hereditarily Finite Sets: a Natural Bridge between Numeric and Symbolic Computations Paul Tarau University of North Texas Friday,13:30-14:20

            Add to Reading List

            Source URL: logic.cse.unt.edu

            - Date: 2012-09-28 06:17:58
              147

              High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

              Add to Reading List

              Source URL: www.csd.uwo.ca

              - Date: 2008-12-16 23:38:33
                148

                make test-zesti: A Symbolic Execution Solution for Improving Regression Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperia

                Add to Reading List

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

                - Date: 2016-03-08 07:04:45
                  UPDATE