Rewriting

Results: 653



#Item
191

Declarative Debugging of Rewriting Logic Specifications? A. Riesco, A. Verdejo, R. Caballero, and N. Mart´ı-Oliet Facultad de Inform´ atica, Universidad Complutense de Madrid, Spain , {alberto, rafa,

Add to Reading List

Source URL: gpd.sip.ucm.es

Language: English - Date: 2009-10-13 18:04:09
    192

    Submitted to the International Conference on Rewriting Techniques and Applications http://rewriting.loria.fr/rta/ AUTOMATA FOR DATA WORDS AND DATA TREES ´ MIKOLAJ BOJANCZYK

    Add to Reading List

    Source URL: duch.mimuw.edu.pl

    Language: English - Date: 2015-05-11 06:14:11
      193

      Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London

      Add to Reading List

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

      Language: English - Date: 2009-08-14 07:09:04
        194

        Outline Rewriting Logic Semantics and KOOL Analysis in KOOL with Rewriting Logic Conclusion KOOL: An Application of Rewriting Logic to

        Add to Reading List

        Source URL: www.cs.ecu.edu

        Language: English - Date: 2015-08-27 14:56:37
          195

          Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing John Field and Frank Tip IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY, 10598, USA

          Add to Reading List

          Source URL: www.franktip.org

          Language: English - Date: 2016-01-22 11:53:09
            196

            NASA/TM–2013–Rewriting Modulo SMT Camilo Rocha Escuela Colombiana de Ingenier´ıa, Bogot´a, Colombia Jos´e Meseguer

            Add to Reading List

            Source URL: shemesh.larc.nasa.gov

            Language: English - Date: 2013-08-29 15:38:23
              197

              Types and Functions since Principia and the Computerisation of Language and Mathematics Fairouz Kamareddine Joe Wells USEFUL LOGICS, TYPES, REWRITING and AUTOMATION

              Add to Reading List

              Source URL: www.cedar-forest.org

              Language: English
                198

                Rewriting Higher-Order Stack Trees Vincent Penelle Highlights, September 3rd , 2014 V. Penelle

                Add to Reading List

                Source URL: highlights-conference.org

                Language: English - Date: 2014-09-02 09:53:18
                  199

                  Universal Algebra for Termination of Higher-Order Rewriting Makoto Hamana Department of Computer Science, Gunma University, Japan

                  Add to Reading List

                  Source URL: www.cs.gunma-u.ac.jp

                  Language: English
                    200

                    JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory Marek Olszewski, Jeremy Cutler, and J. Gregory Steffan Department of Electrical and Computer Engineering University of Toronto Toronto, Ontari

                    Add to Reading List

                    Source URL: www.eecg.toronto.edu

                    Language: English - Date: 2007-07-13 16:19:42
                      UPDATE