A KERNEL LANGUAGE FOR ALGEBRAIC SPECIFICATION AND IMPLEMENTATION

被引：0
作者：
SANNELLA, D [1 ]
WIRSING, M [1 ]
机构：
[1] UNIV PASSAU,FAK INFORMAT,PASSAU,FED REP GER
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 158卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：413 / 427
页数：15
相关论文
共 50 条
  • [31] Algebraic specification of documents
    Departamento de Informática, Universidade do Minho, Braga, Portugal
    Theor Comput Sci, 1-2 (231-247):
  • [32] ALGEBRAIC SPECIFICATION IS THE ANSWER
    PIETSCHKER, L
    DR DOBBS JOURNAL, 1988, 13 (11): : 12 - 12
  • [33] The design and implementation of the GILENA natural language interfaces specification system
    Atkinson-Abutridy, JA
    Ferreira-Cabrera, AA
    ACM SIGPLAN NOTICES, 1998, 33 (09) : 108 - 117
  • [34] Process Specification Language (PSL): Results of the first pilot implementation
    University of Maryland, College Park, MD, United States
    Am Soc Mech Eng Manuf Eng Div MED, (529-539):
  • [35] Formal framework for a generic combination of a process algebra with an algebraic specification language:: An overview
    Salaün, G
    Allemand, M
    Attiogbé, C
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 299 - 302
  • [36] The Design and Implementation of the GILENA Natural Language Interfaces Specification System
    Atkinson-Abutridy, John A.
    Ferreira-Cabrera, Anita A.
    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1998, 33 (09): : 108 - 117
  • [37] Context Definition and Query Language: Conceptual Specification, Implementation, and Evaluation
    Hassani, Alireza
    Medvedev, Alexey
    Haghighi, Pari Delir
    Ling, Sea
    Zaslavsky, Arkady
    Jayaraman, Prem Prakash
    SENSORS, 2019, 19 (06)
  • [38] HOW TO MAKE ALGEBRAIC SPECIFICATIONS MORE UNDERSTANDABLE - AN EXPERIMENT WITH THE PLUSS SPECIFICATION LANGUAGE
    BIDOIT, M
    GAUDEL, MC
    MAUBOUSSIN, A
    SCIENCE OF COMPUTER PROGRAMMING, 1989, 12 (01) : 1 - 38
  • [39] Algebraic model and implementation of translation between logic and natural language
    Peng, Chen
    2013 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY - WORKSHOPS (WI-IAT), VOL 3, 2013, : 199 - 202
  • [40] An innovative educational enviroment for the interactive learning of data stucturesS: From Algebraic Specification to Implementation
    Dpto. de Sistemas Informdticos y Programacion, Universidad Complutense de Madrid, Spain
    CSEDU - Proc. Int. Conf. Comput. Supported Educ., (27-32):
12345