Program analysis for implicit computational complexity

被引：0
|
作者：
Jones, ND [1 ]
机构：
[1] Univ Copenhagen, DIKU, DK-2100 Copenhagen O, Denmark
来源：
PROGRAMS AS DATA OBJECTS, PROCEEDINGS | 2001年 / 2053卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [21] ON THE COMPUTATIONAL-COMPLEXITY OF PROGRAM SCHEME EQUIVALENCE
    HUNT, HB
    CONSTABLE, RL
    SAHNI, S
    SIAM JOURNAL ON COMPUTING, 1980, 9 (02) : 396 - 416
  • [22] Explaining the Implicit Parallelism of Genetic Algorithm and Computational Complexity by Quantum Theory
    Peng, Wang
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 1, PROCEEDINGS, 2008, : 463 - 466
  • [23] The Analysis and Research on Computational Complexity
    Gao, Qiang
    Xu, Xinhe
    26TH CHINESE CONTROL AND DECISION CONFERENCE (2014 CCDC), 2014, : 3467 - 3472
  • [24] Formal security proofs with minimal fuss: Implicit computational complexity at work
    Nowak, David
    Zhang, Yu
    INFORMATION AND COMPUTATION, 2015, 241 : 96 - 113
  • [25] Special issue - Developments in implicit computational complexity, 2014 and 2015 Preface
    Gaboardi, Marco
    Schoepp, Ulrich
    INFORMATION AND COMPUTATION, 2018, 261 : 1 - 2
  • [26] On the computational complexity of dynamic slicing problems for program schemas
    Danicic, Sebastian
    Hierons, Robert. M.
    Laurence, Michael R.
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (06) : 1339 - 1362
  • [27] MECHANICAL ANALYSIS OF PROGRAM COMPLEXITY
    LEMETAYER, D
    SIGPLAN NOTICES, 1985, 20 (07): : 69 - 73
  • [28] Computational Complexity Analysis of Simple Genetic Programming On Two Problems Modeling Isolated Program Semantics
    Durrett, Greg
    Neumann, Frank
    O'Reilly, Una-May
    FOGA 11: PROCEEDINGS OF THE 2011 ACM/SIGEVO FOUNDATIONS OF GENETIC ALGORITHMS XI, 2011, : 69 - 80
  • [29] Computational and space complexity analysis of SubXPCA
    Kadappa, Vijayakumar
    Negi, Atul
    PATTERN RECOGNITION, 2013, 46 (08) : 2169 - 2174
  • [30] PARAMETERIZED COMPLEXITY ANALYSIS IN COMPUTATIONAL BIOLOGY
    BODLAENDER, HL
    DOWNEY, RG
    FELLOWS, MR
    HALLETT, MT
    WAREHAM, HT
    COMPUTER APPLICATIONS IN THE BIOSCIENCES, 1995, 11 (01): : 49 - 57
12345