LANGUAGE CONSTRUCTS FOR SPECIFYING CONCURRENCY IN CDL

被引：3
|
作者：
SHYAMASUNDAR, RK
THATCHER, JW
机构：
[1] TATA INST FUNDAMENTAL RES,BOMBAY 400005,INDIA
[2] IBM CORP,THOMAS J WATSON RES CTR,DEPT MATH SCI,YORKTOWN HTS,NY 10598
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 08期
关键词：
D O I：
10.1109/32.31354
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：977 / 993
页数：17
相关论文
共 50 条
  • [31] Design patterns as language constructs
    Bosch, J
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (02): : 18 - 32
  • [32] Language Constructs for a Datalog Compiler
    Brass, Stefan
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, DEXA 2017, PT I, 2017, 10438 : 130 - 140
  • [33] LANGUAGE CONSTRUCTS FOR DISTRIBUTED PROGRAMS
    HOMMEL, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 287 - 341
  • [34] Query Language Constructs for Provenance
    Mani, Murali
    Alawa, Mohamad
    Kalyanasundaram, Arunlal
    [J]. PROCEEDINGS OF THE 15TH INTERNATIONAL DATABASE ENGINEERING & APPLICATIONS SYMPOSIUM (IDEAS '11), 2011, : 254 - 255
  • [35] A multiagent robot language for communication and concurrency control
    Nishiyama, H
    Ohwada, H
    Mizoguchi, F
    [J]. INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 206 - 213
  • [36] Two Examples of Parallel Programming without Concurrency Constructs (PP-CC)
    Ding, Chen
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (08) : 299 - 300
  • [37] Specifying Dynamic Analyses by Extending Language Semantics
    Lienhard, Adrian
    Girba, Tudor
    Nierstrasz, Oscar
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (03) : 694 - 706
  • [38] Carla: A rule language for specifying communications architectures
    Citrin, W
    Cockburn, A
    [J]. COMPUTER LANGUAGES, 1995, 21 (3-4): : 165 - 189
  • [39] Towards a Qualitative Representation for Specifying Natural Language
    Dapoigny, Richard
    Barlatier, Patrick
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND VIRTUAL ENVIRONMENTS FOR MEASUREMENT SYSTEMS AND APPLICATIONS (CIVEMSA), 2017, : 42 - 47
  • [40] A language for specifying the composition of reliable distributed applications
    Ranno, F
    Shrivastava, SK
    Wheater, SM
    [J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 534 - 543
12345