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 条
  • [21] A Formal Framework for Representing Mechanisms?
    Gebharter, Alexander
    PHILOSOPHY OF SCIENCE, 2014, 81 (01) : 138 - 153
  • [22] Authenticity and provability -: A formal framework
    Gürgens, S
    Ochsenschläger, P
    Rudolph, C
    INFRASTUCTURE SECURITY, PROCEEDINGS, 2002, 2437 : 227 - 245
  • [23] A formal framework for provenance security
    Cheney, James
    2011 IEEE 24TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2011, : 281 - 293
  • [24] A Formal Privacy Management Framework
    Le Metayer, Daniel
    FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 162 - 176
  • [25] Formal framework for communication software
    Kim, TY
    1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 434 - 437
  • [26] A formal framework for linguistic annotation
    Bird, S
    Liberman, M
    SPEECH COMMUNICATION, 2001, 33 (1-2) : 23 - 60
  • [27] SPECTRUM - A formal specification framework
    不详
    FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 27 - 36
  • [28] A formal framework for predictive maintenance
    Araiza, ML
    AUTOTESTCON 2004, PROCEEDINGS: TECHNOLOGY AND TRADITION UNITE IN SAN ANTONIO, 2004, : 489 - 495
  • [29] A formal framework for deliberated judgment
    Olivier Cailloux
    Yves Meinard
    Theory and Decision, 2020, 88 : 269 - 295
  • [30] A Formal Framework for Consent Management
    Tokas, Shukun
    Owe, Olaf
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 169 - 186
12345