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 条
  • [41] Compositional model extraction for higher-order concurrent programs
    Ghica, DR
    Murawski, AS
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 303 - 317
  • [42] Higher-order concurrent Win32 programming
    Pucella, R
    PROCEEDINGS OF THE 3RD USENIX WINDOWS NT SYMPOSIUM, 1999, : 113 - 122
  • [43] Typing termination in a higher-order concurrent imperative language
    Boudol, Gerard
    INFORMATION AND COMPUTATION, 2010, 208 (06) : 716 - 736
  • [44] Interactive Proofs in Higher-Order Concurrent Separation Logic
    Krebbers, Robbert
    Timany, Amin
    Birkedal, Lars
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 205 - 217
  • [45] A calculus for concurrent system with higher-order streaming communication
    Murakami, M
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 57 (01) : 61 - 72
  • [46] A calculus for concurrent system with higher-order streaming communication
    Murakami, M
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 90 - 96
  • [47] Generalized higher-order cone-convex functions and higher-order duality in vector optimization
    Suneja, S. K.
    Sharma, Sunila
    Yadav, Priyanka
    ANNALS OF OPERATIONS RESEARCH, 2018, 269 (1-2) : 709 - 725
  • [48] Generalized higher-order cone-convex functions and higher-order duality in vector optimization
    S. K. Suneja
    Sunila Sharma
    Priyanka Yadav
    Annals of Operations Research, 2018, 269 : 709 - 725
  • [49] Partial recursive functions in Higher-Order Logic
    Krauss, Alexander
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
  • [50] NURBS Modeling for Higher-Order Basis Functions
    Liu, Zi-liang
    Yang, Juan
    APMC: 2009 ASIA PACIFIC MICROWAVE CONFERENCE, VOLS 1-5, 2009, : 76 - +
12345