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

SLIDE 1

ACP

System Description for CoCo 2017

Takahito Aoto (Niigata University) Yoshihito Toyama (Tohoku University)

SLIDE 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

SLIDE 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