MECHANICAL LANGUAGES - A COURSE SPECIFICATION

被引：1
|
作者：
GORN, S
机构：
来源：
COMMUNICATIONS OF THE ACM | 1964年 / 7卷 / 04期
关键词：
D O I：
10.1145/364005.364035
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：219 / 222
页数：4
相关论文
共 50 条
  • [21] THE LARCH FAMILY OF SPECIFICATION LANGUAGES
    GUTTAG, JV
    HORNING, JJ
    WING, JM
    IEEE SOFTWARE, 1985, 2 (05) : 24 - 36
  • [22] EVALUATION AND INTEGRATION OF SPECIFICATION LANGUAGES
    BRUIJNING, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 75 - 89
  • [23] FROM SPECIFICATION LANGUAGES TO SPECIFICATION KNOWLEDGE BASES - THE PTO APPROACH
    AGAFONOV, VN
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 1 - 17
  • [24] Dynamic slicing of concurrent specification languages
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PARALLEL COMPUTING, 2016, 53 : 1 - 22
  • [25] PARAMETER PASSING IN ALGEBRAIC SPECIFICATION LANGUAGES
    EHRIG, H
    KREOWSKI, HJ
    THATCHER, J
    WAGNER, E
    WRIGHT, J
    THEORETICAL COMPUTER SCIENCE, 1984, 28 (1-2) : 45 - 81
  • [26] Principled and Pragmatic Specification of Programming Languages
    Johnstone, Adrian
    Scott, Elizabeth
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 165 - 180
  • [27] Usability of the Business Rules Specification Languages
    Hnatkowska, Bogumila
    Hnatkowska, Anna
    2020 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2020, : 905 - 911
  • [28] Assessing the expressivity of formal specification languages
    Lopez, Natalia
    Nunez, Manuel
    Rodriguez, Ismael
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 220 - 234
  • [29] A behavioral specification of imperative programming languages
    Nakamura, Masaki
    Watanabe, Masahiro
    Futatsugi, Kokichi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (06) : 1558 - 1565
  • [30] Venn Requirement Language in Specification Languages
    Roslina, M. S.
    Noraziah, A.
    WCECS 2008: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, 2008, : 548 - 554
12345