Termination analysis

Results: 113



#Item
1

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
    2

    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
      3

      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
        4

        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
          5

          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
            6

            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
              7

              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
                8

                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
                  9

                  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
                    10

                    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
                      UPDATE