Principles of inverse computation and the universal resolving algorithm

被引：0
|
作者：
Abramov, Sergei [1 ]
Glück, Robert [2 ]
机构：
[1] Program Systems Institute, Russian Academy of Sciences, RU-152140 Pereslavl-Zalessky, Russia
[2] PRESTO, Technology Waseda University, School of Science and Engineering, Tokyo 169-8555, Japan
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002年 / 2566 LNCS卷
关键词：
Program interpreters - Trees (mathematics) - Functional programming;
D O I：
10.1007/3-540-36377-7_13
中图分类号：
学科分类号：
摘要：
We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language. We discuss the principles behind the algorithm, including a three-step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples. We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters. © 2012 Springer-Verlag Berlin Heidelberg.
引用
收藏
页码：269 / 295
相关论文
共 50 条
  • [1] Principles of inverse computation and the universal resolving algorithm
    Abramov, S
    Glück, R
    ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 269 - 295
  • [2] Inverse computation and the universal resolving algorithm
    Abramov, S.
    Gluck, R.
    Wuhan University Journal of Natural Sciences, 2001, 6 (1-2) : 31 - 45
  • [3] Inverse Computation and the Universal Resolving Algorithm
    Sergei Abramov 1
    2 PRESTO
    WuhanUniversityJournalofNaturalSciences, 2001, (Z1) : 31 - 45
  • [4] The universal resolving algorithm:: Inverse computation in a functional language
    Abramov, S
    Glück, R
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 187 - 212
  • [5] An Universal Resolving Algorithm for inverse computation of lazy languages
    Abramov, Sergei
    Gluck, Robert
    Klimov, Yuri
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 27 - +
  • [6] The universal resolving algorithm and its correctness:: inverse computation in a functional language
    Abramov, S
    Glück, R
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 43 (2-3) : 193 - 229
  • [7] Reverse Universal Resolving Algorithm and Inverse Driving
    Pecseli, Thomas
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 314 - 330
  • [8] A fast algorithm for inverse colormap computation
    Brun, L
    Secroun, C
    COMPUTER GRAPHICS FORUM, 1998, 17 (04) : 263 - 271
  • [9] A new algorithm for the computation of the decimals of the inverse
    Saha, P.
    Kumar, D.
    SCIENTIA IRANICA, 2017, 24 (03) : 1363 - 1372
  • [10] The growth of language: Universal Grammar, experience, and principles of computation
    Yang, Charles
    Crain, Stephen
    Berwick, Robert C.
    Chomsky, Noam
    Bolhuis, Johan J.
    NEUROSCIENCE AND BIOBEHAVIORAL REVIEWS, 2017, 81 : 103 - 119
12345