Integrating efficient records into concurrent constraint programming

被引:0
|
作者
Van, Roy, Peter
Mehl, Michael
Scheidhauer, Ralf
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [41] Linear concurrent constraint programming over reals
    Schachter, V
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 400 - 416
  • [42] Models and emerging trends of concurrent constraint programming
    Carlos Olarte
    Camilo Rueda
    Frank D. Valencia
    Constraints, 2013, 18 : 535 - 578
  • [43] ACTORS AS A SPECIAL CASE OF CONCURRENT CONSTRAINT PROGRAMMING
    KAHN, KM
    SARASWAT, VA
    SIGPLAN NOTICES, 1990, 25 (10): : 57 - 66
  • [44] Data-parallel concurrent constraint programming
    Tong, BM
    Leung, HF
    JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (02): : 103 - 150
  • [45] A Symbolic Model for Timed Concurrent Constraint Programming
    Arias, Jaime
    Guzman, Michell
    Olarte, Carlos
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 161 - 177
  • [46] A concurrent constraint programming interpretation of access permissions
    Olarte, Carlos
    Pimentel, Elaine
    Rueda, Camilo
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (02) : 252 - 295
  • [47] Proving Concurrent Constraint Programming Correct, Revisited
    Olarte, Carlos
    Pimentel, Elaine
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 179 - 195
  • [48] Models and emerging trends of concurrent constraint programming
    Olarte, Carlos
    Rueda, Camilo
    Valencia, Frank D.
    CONSTRAINTS, 2013, 18 (04) : 535 - 578
  • [49] Concurrent Constraint Programming Research Programmes - Redux
    Saraswat, Vijay
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 6 - 8
  • [50] Mobile agents based on concurrent constraint programming
    Paralic, M
    MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2001, 1897 : 62 - 75