FORMAL SEMANTICS AND ABSTRACT PROPERTIES OF STRING PATTERN OPERATIONS AND EXTENDED FORMAL LANGUAGE DESCRIPTION MECHANISMS

被引：1
|
作者：
FLECK, AC [1 ]
LIMAYE, RS [1 ]
机构：
[1] UNIV IOWA,WEEG COMP CTR,IOWA CITY,IA 52242
来源：
SIAM JOURNAL ON COMPUTING | 1983年 / 12卷 / 01期
关键词：
D O I：
10.1137/0212011
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：166 / 188
页数：23
相关论文
共 50 条
  • [1] Extended Abstract: Formal Description of a Pattern for a Recursive Process of Recognition
    Puerto, Eduard
    Aguilar, Jose
    [J]. 2016 IEEE LATIN AMERICAN CONFERENCE ON COMPUTATIONAL INTELLIGENCE (LA-CCI), 2016,
  • [2] Formal semantics for an abstract agent programming language
    Hindriks, KV
    de Boer, FS
    van der Hoek, W
    Meyer, JJC
    [J]. INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 215 - 229
  • [3] Formal Language Theory for Practical Security - Extended Abstract -
    Jakoby, Andreas
    Leuther, Jannis
    Lucks, Stefan
    [J]. 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 101 - 110
  • [4] A formal abstract semantics for data specifications
    Piessens, F
    Steegmans, E
    [J]. 15TH INTERNATIONAL CONGRESS ON CYBERNETICS, PROCEEDINGS, 1999, : 983 - 988
  • [5] P-UML A Pattern Design Language with a Formal Semantics
    Bouassida, Nadia
    Ben-Abdallah, Hanene
    Ali, Moez
    [J]. ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2013, : 197 - 205
  • [6] Formal semantics and natural language
    Kusly, P. S.
    [J]. VOPROSY FILOSOFII, 2013, (08) : 105 - 117
  • [7] SYSTEM SEMANTICS AND FORMAL CIRCUIT DESCRIPTION
    BOUTE, RT
    [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1986, 33 (12): : 1219 - 1231
  • [8] Formal Semantics and Scalability for Datalog with Aggregates: A Cardinality-Based Solution (Extended Abstract)
    Zaniolo, Carlo
    Das, Ariyam
    Li, Youfu
    Li, Mingda
    Wang, Jin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325):
  • [9] A Formal Semantics for the SmartFrog Configuration Language
    Anderson, Paul
    Herry, Herry
    [J]. JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, 2016, 24 (02) : 309 - 345
  • [10] Nivel: a metamodelling language with a formal semantics
    Asikainen, Timo
    Mannisto, Tomi
    [J]. SOFTWARE AND SYSTEMS MODELING, 2009, 8 (04): : 521 - 549
12345