Linearity, Non-determinism and Solvability

被引：11
|
作者：
Pagani, Michele [1 ]
Della Rocca, Simona Ronchi [2 ]
机构：
[1] Univ Paris 13, Lab Informat Paris Nord, F-93430 Villetaneuse, France
[2] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
来源：
FUNDAMENTA INFORMATICAE | 2010年 / 103卷 / 1-4期
关键词：
RESOURCE LAMBDA-CALCULUS; TAYLOR EXPANSION; TERMS;
D O I：
10.3233/FI-2010-324
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We study the notion of solvability in the resource calculus, an extension of the lambda-calculus modelling resource consumption. Since this calculus is non-deterministic, two different notions of solvability arise, one optimistic (angelical, may) and one pessimistic (demoniac, must). We give a syntactical, operational and logical characterization for the may-solvability and only a partial characterization of the must-solvability. Finally, we discuss the open problem of a complete characterization of the must-solvability.
引用
收藏
页码：173 / 202
页数：30
相关论文
共 50 条
  • [41] Non-determinism analysis in a parallel-functional language
    Peña, R
    Segura, C
    [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2001, 2011 : 1 - 18
  • [42] Reducing non-determinism in right nulled GLR parsers
    Elizabeth Scott
    Adrian Johnstone
    [J]. Acta Informatica, 2004, 40 : 459 - 489
  • [43] Reducing non-determinism in right nulled GLR parsers
    Scott, E
    Johnstone, A
    [J]. ACTA INFORMATICA, 2004, 40 (6-7) : 459 - 489
  • [44] Non-determinism in Gödel’s System T
    Lars Kristiansen
    Bedeho Mesghina Wolde Mender
    [J]. Theory of Computing Systems, 2012, 51 : 85 - 105
  • [45] Non-determinism analyses in a parallel-functional language
    Peña, R
    Segura, C
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2005, 15 : 67 - 100
  • [46] How friends and non-determinism affect opinion dynamics
    Bhattacharyya, Arnab
    Shiragur, Kirankumar
    [J]. 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 6466 - 6471
  • [47] Minimality and non-determinism in multi-context systems
    Roelofsen, F
    Serafini, L
    [J]. MODELING AND USING CONTEXT, PROCEEDINGS, 2005, 3554 : 424 - 435
  • [48] Trace Equivalence Decision: Negative Tests and Non-determinism
    Cheval, Vincent
    Comon-Lundh, Hubert
    Delaune, Stephanie
    [J]. PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 321 - 330
  • [49] Non-determinism and Probabilities in Timed Concurrent Constraint Programming
    Perez, Jorge A.
    Rueda, Carnilo
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 677 - +
  • [50] Eliminating Irrelevant Non-determinism in Functional Logic Programs
    Antoy, Sergio
    Hanus, Michael
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), 2017, 10137 : 1 - 18
12345