Specification and implementation of a GB parser

被引：0
|
作者：
Ghemri, Lila
机构：
来源：
Proceedings of the International Workshop on Natural Language Understanding and Logic Programming | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] A Model Specification Implementation for Trust Negotiation
    Kolar, Martin
    Fernandez Gago, Carmen
    Lopez, Javier
    NETWORK AND SYSTEM SECURITY, NSS 2020, 2020, 12570 : 327 - 341
  • [32] Tunable Causal Consistency: Specification and Implementation
    Jiang, Xue
    Wei, Hengfeng
    Huang, Yu
    2022 IEEE 28TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, ICPADS, 2022, : 169 - 176
  • [33] FROM PROTOCOL SPECIFICATION TO IMPLEMENTATION AND TEST
    BURKHARDT, HJ
    ECKERT, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 373 - 399
  • [34] A NOTION OF IMPLEMENTATION FOR THE SPECIFICATION LANGUAGE OBSCURE
    LEHMANN, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 141 - 165
  • [35] TASK: From the specification to the implementation.
    Talon, X
    PierretGolbreich, C
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1996, : 80 - 87
  • [36] Specification and implementation of a tree interface for ada
    Hartwig, M.
    Stein, E.
    Strobel, R.
    Journal of Information Processing and Cybernetics, 1991, 27 (04):
  • [37] Specification and implementation of an extensible multimedia system
    Hauser, J
    Rothermel, K
    INTERACTIVE DISTRIBUTED MULTIMEDIA SYSTEMS AND TELECOMMUNICATION SERVICES, PROCEEDINGS, 2000, 1905 : 241 - 253
  • [38] FROM UML SPECIFICATION INTO FPGA IMPLEMENTATION
    Bazydlo, Grzegorz
    Adamski, Marian
    Wegrzyn, Marek
    Rosado Munoz, Alfredo
    ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2014, 12 (05) : 452 - 458
  • [39] EFFICIENT IMPLEMENTATION OF AN ALGEBRAIC SPECIFICATION LANGUAGE
    KLAEREN, H
    INDERMARK, K
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 69 - 90
  • [40] Muteness failure detectors: Specification and implementation
    Doudou, A
    Garbinato, B
    Guerraoui, R
    Schiper, A
    DEPENDABLE COMPUTING - EDCC-3, 1999, 1667 : 71 - 87
12345