acp
play

ACP System Description for CoCo 2017 Takahito Aoto (Niigata - PowerPoint PPT Presentation

Jan 31, 2023 •302 likes •341 views

ACP System Description for CoCo 2017 Takahito Aoto (Niigata University) Yoshihito Toyama (Tohoku University) ACP (Automated Confluence Prover) Written in Standard ML of New Jersey (SML/NJ) Implementing multiple direct methods and

  1. ACP System Description for CoCo 2017 Takahito Aoto (Niigata University) Yoshihito Toyama (Tohoku University)

  2. ACP (Automated Confluence Prover) • Written in Standard ML of New Jersey (SML/NJ) • Implementing multiple direct methods and divide-and- conquer methods • Source code and SML/NJ heap images available at http://www.nue.riec.tohoku.ac.jp/tools/acp/ • entrant of TRS/CPF categories • version: 0.10(2009) · · · 0.51(2015) 1/1

  3. ACP (Automated Confluence Prover) • Written in Standard ML of New Jersey (SML/NJ) • Implementing multiple direct methods and divide-and- conquer methods • Source code and SML/NJ heap images available at http://www.nue.riec.tohoku.ac.jp/tools/acp/ • entrant of TRS/CPF categories • version: 0.10(2009) · · · 0.51(2015) –0.51(2017) We couldn’t make any efforts on ACP this year. 1/1

Recommend

More recommend