Programming with transactions and chemical abstract machine

被引：1
|
作者：
Ma, WL [1 ]
Johnson, CW [1 ]
Brent, RP [1 ]
机构：
[1] AUSTRALIAN NATL UNIV,COMP SCI LAB,CANBERRA,ACT 0200,AUSTRALIA
来源：
SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ISPAN.1996.509044
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：562 / 564
页数：3
相关论文
共 50 条
  • [21] AN ABSTRACT PROGRAMMING-MODEL
    ROTHE, CE
    COMMUNICATIONS OF THE ACM, 1981, 24 (09) : 594 - 596
  • [22] Abstract Tropical Linear Programming
    Loho, Georg
    ELECTRONIC JOURNAL OF COMBINATORICS, 2020, 27 (02): : 1 - 68
  • [23] TYP, PROGRAMMING WITH ABSTRACT TYPES
    CHABRIER, JJ
    DERNIAME, JC
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1982, 1 (04): : 287 - 295
  • [24] Abstract Interpretation as a Programming Language
    Rosendahl, Mads
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 84 - 104
  • [25] A GRAPHICAL ABSTRACT PROGRAMMING LANGUAGE
    ALBIZURIROMERO, MB
    SIGPLAN NOTICES, 1984, 19 (01): : 14 - 23
  • [26] Programming Reflexes (Extended Abstract)
    Dolev, Shlomi
    Manevich, Roman
    Rokach, Amit
    2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2017, : 149 - 152
  • [27] ABSTRACT SYNTAX AND LOGIC PROGRAMMING
    MILLER, D
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 322 - 337
  • [28] FORMAL SPECIFICATION AND ANALYSIS OF SOFTWARE ARCHITECTURES USING THE CHEMICAL ABSTRACT MACHINE MODEL
    INVERARDI, P
    WOLF, AL
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (04) : 373 - 386
  • [29] POLYMORPHIC PROGRAMMING .2. AN ORTHOGONAL TAGGED HIGH-LEVEL ARCHITECTURE ABSTRACT MACHINE
    GUNN, HIE
    HARLAND, DM
    SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (11): : 1021 - 1046
  • [30] Multimedia abstract machine
    Shih, TK
    INFORMATION SCIENCES, 1998, 107 (1-4) : 63 - 84
12345