Coinductive techniques for higher-order languages

被引：0
|
作者：
Sangiorgi, Davide [1 ,2 ]
机构：
[1] Univ Bologna, Bologna, Italy
[2] INRIA, Paris, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 131期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / +
页数：5
相关论文
共 50 条
  • [21] A practical and flexible flow analysis for higher-order languages
    Ashley, JM
    Dybvig, RK
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (04): : 845 - 868
  • [22] HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES
    Grigorenko, Pavel
    Tyugu, Enn
    COMPUTING AND INFORMATICS, 2010, 29 (02) : 251 - 280
  • [23] Formally based profiling for higher-order functional languages
    Sansom, PM
    Jones, SLP
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 334 - 385
  • [24] Test Generation for Higher-Order Functions in Dynamic Languages
    Selakovic, Marija
    Pradel, Michael
    Karim, Rezwana
    Tip, Frank
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [25] Behavioural equivalence and indistinguishability in higher-order typed languages
    Katsumata, S
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 284 - 298
  • [26] Test Generation for Higher-Order Functions in Dynamic Languages
    Selakovic, Marija
    Pradel, Michael
    Karim, Rezwana
    Tip, Frank
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [27] Higher-order logic programming languages with constraints: A semantics
    Lipton, James
    Nieva, Susana
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 272 - +
  • [28] Automatic Alignment in Higher-Order Probabilistic Programming Languages
    Lunden, Daniel
    Caylak, Gizem
    Ronquist, Fredrik
    Broman, David
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 535 - 563
  • [29] Automated techniques for higher-order program verification
    1600, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan
  • [30] Sorted HiLog: Sorts in higher-order logic data languages
    Chen, WD
    Kifer, M
    DATABASE THEORY - ICDT '95, 1995, 893 : 252 - 265
12345