CSI: New Evidence - A Progress Report

被引：19

作者：

Nagele, Julian ^{[1
]}

Felgenhauer, Bertram ^{[1
]}

Middeldorp, Aart ^{[1
]}

机构：

[1] Univ Innsbruck, Dept Comp Sci, Innsbruck, Austria

来源：

AUTOMATED DEDUCTION - CADE 26 | 2017年 / 10395卷

基金：

奥地利科学基金会;

关键词：

ORDER REWRITE SYSTEMS; CONFLUENCE; CERTIFICATION;

D O I：

10.1007/978-3-319-63046-5_24

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

CSI is a strong automated confluence prover for rewrite systems which has been in development since 2010. In this paper we report on recent extensions that make CSI more powerful, secure, and useful. These extensions include improved confluence criteria but also support for uniqueness of normal forms. Most of the implemented techniques produce machine-readable proof output that can be independently verified by an external tool, thus increasing the trust in CSI. We also report on CSI(boolean AND)oho, a tool built on the same framework and similar ideas as CSI that automatically checks confluence of higher-order rewrite systems.

引用

页码：385 / 397

页数：13

共 50 条

[31] MEDICAL LIBRARY CENTER OF NEW YORK - A PROGRESS REPORT
FELTER, JW
BULLETIN OF THE MEDICAL LIBRARY ASSOCIATION, 1968, 56 (01): : 15 - &
[32] THE NEW-MEXICO SEALANT PROGRAM - A PROGRESS REPORT
CALDERONE, JJ
DAVIS, JM
JOURNAL OF PUBLIC HEALTH DENTISTRY, 1987, 47 (03) : 145 - 149
[33] Progress report on new technology to recycle furnace atmosphere
Rich, RR
HEAT TREATING: PROCEEDINGS OF THE 16TH CONFERENCE, 1996, : 557 - 560
[34] PROGRESS REPORT ON A NEW SCIENCE - THE GEOLOGY OF URANIUM DEPOSITS
EVERHART, DL
TRANSACTIONS OF THE NEW YORK ACADEMY OF SCIENCES, 1953, 15 (04): : 90 - 92
[35] A NEW TERTIARY BASIN IN NORTH DEVON - A PROGRESS REPORT
Cope, John C. W.
GEOSCIENCE IN SOUTH-WEST ENGLAND, VOL 11, PT 4, 2007, 2007, 11 : 336 - 339
[36] NEW CLASSIFICATION OF PSYCHIATRIC MEDICATIONS: REPORT OF WORK IN PROGRESS
Nutt, D.
EUROPEAN PSYCHIATRY, 2012, 27
[37] CSI unveils new products
2001, Advanstar Communications (77):
[38] CSI AND SOME NEW PHOTOCATHODES
ANDERSON, DF
KWAN, S
PESKOV, V
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1994, 343 (01): : 109 - 116
[39] PROGRESS IN ULTRAFAST CSI-PHOTOCATHODE GASEOUS IMAGING PHOTOMULTIPLIERS
DANGENDORF, V
BRESKIN, A
CHECHIK, R
SCHMIDTBOCKING, H
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1991, 308 (03): : 519 - 532
[40] Fidelity measurement, the CSI, and the current evidence base
Resnick, SG
PSYCHIATRIC SERVICES, 2005, 56 (12) : 1592 - 1592

← 1 2 3 4 5 →