Termination analysis

Results: 113



#Item
1Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

Add to Reading List

Source URL: cl-informatik.uibk.ac.at

Language: English - Date: 2016-09-11 10:26:10
    2Internship report Laboratoire d’Informatique Fondamentale de Lille Lucas Seguinot August 23, 2013 Improvement of a termination analysis

    Internship report Laboratoire d’Informatique Fondamentale de Lille Lucas Seguinot August 23, 2013 Improvement of a termination analysis

    Add to Reading List

    Source URL: laure.gonnord.org

    Language: English
      3Termination Analysis for GPU KernelsI Jeroen Ketema, Alastair F. Donaldson Department of Computing, Imperial College London London, United Kingdom Abstract

      Termination Analysis for GPU KernelsI Jeroen Ketema, Alastair F. Donaldson Department of Computing, Imperial College London London, United Kingdom Abstract

      Add to Reading List

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

      - Date: 2017-06-15 17:14:58
        4Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

        Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

        Add to Reading List

        Source URL: sunsite.informatik.rwth-aachen.de

        - Date: 2010-11-25 12:46:19
          5Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

          Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

          Add to Reading List

          Source URL: aprove.informatik.rwth-aachen.de

          - Date: 2010-11-25 10:23:00
            6Aachen Department of Computer Science Technical Report Static Termination Analysis for Prolog using Term Rewriting and SAT Solving

            Aachen Department of Computer Science Technical Report Static Termination Analysis for Prolog using Term Rewriting and SAT Solving

            Add to Reading List

            Source URL: sunsite.informatik.rwth-aachen.de

            - Date: 2008-12-10 05:26:29
              7Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

              Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

              Add to Reading List

              Source URL: sunsite.informatik.rwth-aachen.de

              - Date: 2011-07-08 05:07:15
                8Aachen Department of Computer Science Technical Report Automated Termination Analysis for Logic Programs with Cut

                Aachen Department of Computer Science Technical Report Automated Termination Analysis for Logic Programs with Cut

                Add to Reading List

                Source URL: sunsite.informatik.rwth-aachen.de

                - Date: 2010-05-14 08:40:08
                  9Enforcing Termination of Interprocedural Analysis arXiv:1606.07687v1 [cs.PL] 24 JunStefan Schulze Frielinghaus, Helmut Seidl, and Ralf Vogler

                  Enforcing Termination of Interprocedural Analysis arXiv:1606.07687v1 [cs.PL] 24 JunStefan Schulze Frielinghaus, Helmut Seidl, and Ralf Vogler

                  Add to Reading List

                  Source URL: arxiv.org

                  - Date: 2016-06-26 21:00:09
                    101 What I have attempted here is in many ways a deconstruction of the concept of termination. It is also a post-modern point-of-view, at least as far as the concept of analysis is concerned. By post-modern, I mean post-s

                    1 What I have attempted here is in many ways a deconstruction of the concept of termination. It is also a post-modern point-of-view, at least as far as the concept of analysis is concerned. By post-modern, I mean post-s

                    Add to Reading List

                    Source URL: www.griefcounselor.org

                    - Date: 2014-07-27 18:34:26