Skip to content

@harp-project High-Assurance Refactoring Project

Change the repository type filter

All

    Repositories list

    11 repositories

    • Core-Erlang-Formalization

      Public
      coqformalizationcore-erlangbig-step-semanticssmall-step-semanticsprogram-equivalence
      Coq
      •
      Other
      •1•9•8•0•Updated Oct 4, 2024Oct 4, 2024

    • AML-Formalization

      Public
      Coq
      •
      GNU Lesser General Public License v2.1
      •5•9•65•1•Updated Oct 4, 2024Oct 4, 2024

    • EquivcheckEr

      Public
      Equivalence checking of refactorings for Erlang
      Erlang
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•11•1•Updated Aug 13, 2024Aug 13, 2024

    • Core-Erlang-mini

      Public
      Coq
      •
      GNU Lesser General Public License v2.1
      •0•0•1•0•Updated Mar 27, 2023Mar 27, 2023

    • Semantics-comparison

      Public
      Coq
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 18, 2023Jan 18, 2023

    • erlang-semantics-testing

      Public
      This project implements property-based cross-testing for formal semantics of Erlang (defined in the K framework), Core Erlang (defined in Coq).
      Erlang
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated May 6, 2022May 6, 2022

    • erlang-semantics

      Public
      Executable formal semantics for a subset of the Erlang programming language defined in the K Framework
      Erlang
      •
      Other
      •1•3•0•0•Updated Sep 27, 2021Sep 27, 2021

    • FOL-in-ML

      Public
      Embedding FOL into Matching Logic
      Coq
      •
      GNU Lesser General Public License v2.1
      •0•1•0•0•Updated Aug 30, 2021Aug 30, 2021

    • quickcheck-retrie

      Public
      Rewrite correctness test for the Retrie tool utilizing QuickCheck.
      Haskell
      •0•0•0•0•Updated Jun 3, 2021Jun 3, 2021

    • RefJava

      Public
      A DSL for defining executable and verifiable Java refactorings
      Xtend
      •
      MIT License
      •2•0•0•0•Updated Nov 10, 2020Nov 10, 2020

    • Reflexive-Parsing

      Public
      C++
      •0•0•0•0•Updated Jun 7, 2020Jun 7, 2020