Call-by-value solvability

被引：0
|
作者：
Paolini, Luca [1 ]
Ronchi Della Rocca, Simona [2 ]
机构：
[1] DISI, Università di Genova, Dipto. Info. Sci. dell'Informazione, Via Dodecaneso 35, 16146 Genova, Italy
[2] Università di Torino, Dipartimento di Informatica, C.so Svizzera 185, 10149 Torino, Italy
来源：
Theoretical Informatics and Applications | 1999年 / 33卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：507 / 534
相关论文
共 50 条
  • [41] SEMANTICS OF CALL-BY-VALUE AND CALL-BY-NAME IN A NONDETERMINISTIC ENVIRONMENT
    HENNESSY, MCB
    SIAM JOURNAL ON COMPUTING, 1980, 9 (01) : 67 - 84
  • [42] Game theoretic analysis of call-by-value computation
    Honda, K
    Yoshida, N
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 225 - 236
  • [43] Modelling environments in call-by-value programming languages
    Levy, PB
    Power, J
    Thielecke, H
    INFORMATION AND COMPUTATION, 2003, 185 (02) : 182 - 210
  • [44] Explicitly typed λμ-calculus for polymorphism and call-by-value
    Fujita, K
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 162 - 176
  • [45] New Semantical Insights Into Call-by-Value λ-Calculus
    Manzonetto, Giulio
    Pagani, Michele
    Della Rocca, Simona Ronchi
    FUNDAMENTA INFORMATICAE, 2019, 170 (1-3) : 241 - 265
  • [46] LIGHT LOGICS AND THE CALL-BY-VALUE LAMBDA CALCULUS
    Coppola, Paolo
    Dal Lago, Ugo
    Della Rocca, Simona Ronchi
    LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (04)
  • [47] System T, call-by-value and the minimum problem
    Colson, L
    Fredholm, D
    THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 301 - 315
  • [48] Embedding dynamic dataflow in a call-by-value language
    Cooper, GH
    Krishnamurthi, S
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 3924 : 294 - 308
  • [49] On the call-by-value CPS transform and its semantics
    Führmann, C
    Thielecke, H
    INFORMATION AND COMPUTATION, 2004, 188 (02) : 241 - 283
  • [50] Data refinement for call-by-value programming languages
    Kinoshita, Y
    Power, J
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 562 - 576
12345