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 条
  • [31] A formal framework for deliberated judgment
    Cailloux, Olivier
    Meinard, Yves
    THEORY AND DECISION, 2020, 88 (02) : 269 - 295
  • [32] A formal framework with late binding
    Ancona, D
    Cerioli, M
    Zucca, E
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1999, 1577 : 30 - 44
  • [33] A formal framework for component deployment
    Liu, Yu David
    Smith, Scott F.
    ACM SIGPLAN NOTICES, 2006, 41 (10) : 325 - 343
  • [34] Formal framework to performance testing
    Liu, Wenli
    Xu, Mingwei
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (01): : 43 - 46
  • [35] The Formal Framework for Collective Systems
    Palak, Rafal
    Wojtkiewicz, Krystian
    AXIOMS, 2021, 10 (02)
  • [36] A formal framework for viewpoint consistency
    Bowman, H
    Steen, MWA
    Boiten, EA
    Derrick, J
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (02) : 111 - 166
  • [37] A formal framework for database sampling
    Bisbal, J
    Grimson, J
    Bell, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 2005, 47 (12) : 819 - 828
  • [38] On a formal framework for security properties
    Gürgens, S
    Ochsenschläger, P
    Rudolph, C
    COMPUTER STANDARDS & INTERFACES, 2005, 27 (05) : 457 - 466
  • [39] A Formal Framework for the Ontology Evolution
    Kozierkiewicz, Adrianna
    Pietranik, Marcin
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT I, 2019, 11431 : 16 - 27
  • [40] A Formal Framework for Multicast Communication
    Biswas, Pratik K.
    IEEE SYSTEMS JOURNAL, 2010, 4 (03): : 353 - 362
12345