GOFFIN: Higher-order functions meet concurrent constraints

被引：0
|
作者：
Technische Universitaet Berlin, Berlin, Germany [1 ]
机构：
来源：
Sci Comput Program | / 1-2卷 / 157-199期
关键词：
* Corresponding author. E-mail: chak@cs.tu-bel-lin.de. ’ Partially supported by EPSRC; UK: project D&~itiuwl Loyicull~~ Correct Concrrrrrnt SJxtenu (GR/H 77547);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
36
引用
收藏
相关论文
共 50 条
  • [1] GOFFIN: Higher-order functions meet concurrent constraints
    Chakravarty, MMT
    Guo, Y
    Kohler, M
    Lock, HCR
    SCIENCE OF COMPUTER PROGRAMMING, 1998, 30 (1-2) : 157 - 199
  • [2] ON HIGHER-ORDER STATE CONSTRAINTS
    Karamzin, Dmitry
    Pereira, Fernando Lobo
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2023, 61 (04) : 1913 - 1933
  • [3] Termination in Higher-Order Concurrent Calculi
    Demangeon, Romain
    Hirschkoff, Daniel
    Sangiorgi, Davide
    FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 81 - +
  • [4] Termination in higher-order concurrent calculi
    Demangeon, Romain
    Hirschkoff, Daniel
    Sangiorgi, Davide
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 550 - 577
  • [5] CML - A HIGHER-ORDER CONCURRENT LANGUAGE
    REPPY, JH
    SIGPLAN NOTICES, 1991, 26 (06): : 293 - 305
  • [6] HIGHER-ORDER COMMUNICATIONS FOR CONCURRENT PROGRAMMING
    PETTOROSSI, A
    SKOWRON, A
    PARALLEL COMPUTING, 1984, 1 (3-4) : 331 - 336
  • [7] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [8] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [9] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [10] Higher-order field theory with constraints
    Campos, Cedric M.
    REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS, 2012, 106 (01) : 89 - 95
12345