A Formal Framework for Stringology

被引：0

作者：

Mhaskar, Neerja ^{[1
]}

Soltys, Michael ^{[2
]}

机构：

[1] McMaster Univ, Dept Comp & Software, 1280 Main St West, Hamilton, ON L8S 4K1, Canada

[2] Calif State Univ Channel Isl, Dept Comp Sci, Camarillo, CA 93012 USA

来源：

PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2015 | 2015年

关键词：

proof complexity; string algorithms;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A new formal framework for Stringology is proposed, which consists of a three-sorted logical theory S designed to capture the combinatorial reasoning about finite words. A witnessing theorem is proven which demonstrates how to extract algorithms for constructing strings from their proofs of existence. Various other applications of the theory are shown. The long term goal of this line of research is to introduce the tools of Proof Complexity to the analysis of strings.

引用

页码：90 / 103

页数：14

共 50 条

[41] Formal framework for semantic interoperability
Ayadi, Nadia Yaacoubi
Ben Ahmed, Mohamed
Pollet, Yann
ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2006, : 139 - +
[42] A Formal Framework for Workflow Analysis
Cravo, Gloria
NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, 2010, 1281 : 690 - 693
[43] A Formal Framework for Patch Management
Francia, Guillermo A.
Kim, Kihyun
Ahn, Byungoh
Zhou, Sen Xin
INTERNATIONAL JOURNAL OF INTERDISCIPLINARY TELECOMMUNICATIONS AND NETWORKING, 2013, 5 (02) : 18 - 31
[44] A metaprogramming framework for formal verification
Ebner G.
Ullrich S.
Roesch J.
Avigad J.
De Moura L.
1600, Association for Computing Machinery (01):
[45] Towards a formal framework for choreography
Busi, N
Gorrieri, R
Guidi, C
Lucchi, R
Zavattaro, G
FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 107 - 112
[46] Proceedings of the Prague Stringology Conference 2021
Holub, Jan
Žd'árek, Jan
Proceedings of the Prague Stringology Conference 2021, PSC 2021, 2021,
[47] A Formal Argumentation Framework for Deliberation Dialogues
Kok, Eric M.
Meyer, John-Jules Ch.
Prakken, Henry
Vreeswijk, Gerard A. W.
ARGUMENTATION IN MULTI-AGENT SYSTEMS (ARGMAS), 2011, 6614 : 31 - 48
[48] A Formal Framework for Cooperative Logistics Management
Satoh, Ichiro
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT II, 2012, 100 : 131 - 142
[49] A Framework for Formal Verification of Compiler Optimizations
Mansky, William
Gunter, Elsa
INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
[50] JAHUEL:: A formal framework for software synthesis
Assayad, I
Bertin, V
Defaut, FX
Gerner, P
Quévreux, O
Yovine, S
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 204 - 218

← 1 2 3 4 5 →