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] A method to combine any process algebra with an algebraic specification language:: the π-Calculus example
    Salaün, G
    Allemand, M
    Attiogbé, C
    26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 385 - 390
  • [32] Algebraic specification of documents
    Departamento de Informática, Universidade do Minho, Braga, Portugal
    Theor Comput Sci, 1-2 (231-247):
  • [33] ALGEBRAIC SPECIFICATION IS THE ANSWER
    PIETSCHKER, L
    DR DOBBS JOURNAL, 1988, 13 (11): : 12 - 12
  • [34] CASL user manual - Introduction to using the common algebraic specification language - Introduction
    Mossakowski, T
    Sannella, D
    Tarlecki, A
    CASL USER MANUAL, 2004, 2900 : 3 - +
  • [35] 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):
  • [36] 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
  • [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] 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
  • [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 ENVIRONMENT FOR THE INTERACTIVE LEARNING OF DATA STRUCTURES From Algebraic Specification to Implementation
    del Vado Virseda, Rafael
    CSEDU 2009: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL II, 2009, : 27 - 32
12345