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] The Analysis and Research on Computational Complexity
    Gao, Qiang
    Xu, Xinhe
    26TH CHINESE CONTROL AND DECISION CONFERENCE (2014 CCDC), 2014, : 3467 - 3472
  • [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] Formal security proofs with minimal fuss: Implicit computational complexity at work
    Nowak, David
    Zhang, Yu
    INFORMATION AND COMPUTATION, 2015, 241 : 96 - 113
  • [24] Special issue - Developments in implicit computational complexity, 2014 and 2015 Preface
    Gaboardi, Marco
    Schoepp, Ulrich
    INFORMATION AND COMPUTATION, 2018, 261 : 1 - 2
  • [25] 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
  • [26] MECHANICAL ANALYSIS OF PROGRAM COMPLEXITY
    LEMETAYER, D
    SIGPLAN NOTICES, 1985, 20 (07): : 69 - 73
  • [27] 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
  • [28] Computational and space complexity analysis of SubXPCA
    Kadappa, Vijayakumar
    Negi, Atul
    PATTERN RECOGNITION, 2013, 46 (08) : 2169 - 2174
  • [29] 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
  • [30] Computational complexity of network vulnerability analysis
    Berberler, Murat Ersen
    ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA, 2022, 14 (02) : 199 - 207
12345