nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Cops and CoCoWeb: Infrastructure for Confluence Tools

verfasst von : Nao Hirokawa, Julian Nagele, Aart Middeldorp

Erschienen in: Automated Reasoning

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

Nächstes Kapitel Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing

http://coco.nue.ie.niigata-u.ac.jp/.

StarExec provides a VM image with their environment, which can be helpful in case a local setup is essential.

https://github.com/haskell-rewriting/canonical-trs.

https://codemirror.net/.

https://www.lri.fr/~filliatr/bibtex2html/.

To account for timing imprecisions and tools performing internal cleanup, 2 extra seconds are granted to the tool before sending SIGTERM and another 2 before SIGKILL is sent, which turned out to work well in practice.

Aoto, T., Hirokawa, N., Nagele, J., Nishida, N., Zankl, H.: Confluence competition 2015. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 101–104. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21401-6_5CrossRef

Aoto, T., Yoshida, J., Toyama, Y.: Proving confluence of term rewriting systems automatically. In: Treinen, R. (ed.) RTA 2009. LNCS, vol. 5595, pp. 93–102. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02348-4_7CrossRefMATH

Hirokawa, N., Klein, D.: Saigawa: a confluence tool. In: Proceedings of 1st IWC, p. 49 (2012). http://cl-informatik.uibk.ac.at/iwc/iwc2012.pdf

Ishizuki, S., Oyamaguchi, M., Sakai, M.: Conditions for confluence of innermost terminating term rewriting systems. In: Proceedings of 5th IWC, pp. 70–74 (2016). http://cl-informatik.uibk.ac.at/iwc/iwc2016.pdf

Korp, M., Sternagel, C., Zankl, H., Middeldorp, A.: Tyrolean Termination Tool 2. In: Treinen, R. (ed.) RTA 2009. LNCS, vol. 5595, pp. 295–304. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02348-4_21CrossRef

Nagele, J.: CoCo 2015 participant: CSI\(\hat{~}\)ho 0.1. In: Proceedings of 4th IWC, p. 47 (2015). http://cl-informatik.uibk.ac.at/iwc/iwc2015.pdf

Nagele, J., Felgenhauer, B., Middeldorp, A.: CSI: new evidence – a progress report. In: de Moura, L. (ed.) CADE 2017. LNCS (LNAI), vol. 10395, pp. 385–397. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63046-5_24CrossRef

Nishida, N., Kuroda, T., Yanagisawa, M., Gmeiner, K.: CO3: a COnverter for proving COnfluence of COnditional TRSs (version 1.2). In: Proceedings of 4th IWC, p. 42 (2015). http://cl-informatik.uibk.ac.at/iwc/iwc2015.pdf

Onozawa, K., Kikuchi, K., Aoto, T., Toyama, Y.: ACPH: system description for CoCo 2016. In: Proceedings of 5th IWC, p. 76 (2016). http://cl-informatik.uibk.ac.at/iwc/iwc2016.pdf

10.

Sternagel, C., Thiemann, R.: The certification problem format. In: Proceedings of 11th UITP, EPTCS, vol. 167, pp. 61–72 (2014). https://doi.org/10.4204/EPTCS.167.8MathSciNetCrossRef

11.

Sternagel, T., Middeldorp, A.: Conditional confluence (system description). In: Dowek, G. (ed.) RTA 2014, TLCA 2014. LNCS, vol. 8560, pp. 456–465. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08918-8_31CrossRef

12.

Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: a cross-community infrastructure for logic solving. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol. 8562, pp. 367–373. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08587-6_28CrossRef

13.

Sutcliffe, G., Suttner, C.: Evaluating general purpose automated theorem proving systems. Artif. Intell. 131(1), 39–54 (2001). https://doi.org/10.1016/S0004-3702(01)00113-8MathSciNetCrossRefMATH

14.

Zankl, H., Felgenhauer, B., Middeldorp, A.: CSI – a confluence tool. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol. 6803, pp. 499–505. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22438-6_38CrossRef

Titel: Cops and CoCoWeb: Infrastructure for Confluence Tools
verfasst von: Nao Hirokawa
Julian Nagele
Aart Middeldorp
Verlag: Springer International Publishing
Buch: Automated Reasoning
Print ISBN: 978-3-319-94204-9

Electronic ISBN: 978-3-319-94205-6

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-94205-6_23

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"