The Program Inverter LRinv and Its Structure-Reference-Cited by-同舟云学术

The Program Inverter LRinv and Its Structure

Published:2005 Issue: Volume: Page:219-234
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Kawabe Masahiko,Glück Robert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30557-6_17.pdf

Reference17 articles.

1. Lecture Notes in Computer Science;S.M. Abramov,2002

2. Prentice Hall International Series in Computer Science;R. Bird,1997

3. Lecture Notes in Computer Science;E.W. Dijkstra,1978

4. Eppstein, D.: A heuristic approach to program inversion. In: Int. Joint Conference on Artificial Intelligence (IJCAI 1985), pp. 219–221. Morgan Kaufmann, Inc., San Francisco (1985)

5. Floyd, R.W.: Nondeterministic algorithms. Journal of the ACM 14(4), 636–644 (1967)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Partial Evaluation of Reversible Flowchart Programs;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. Making Programs Reversible with Minimal Extra Data;New Generation Computing;2022-07

3. An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion;Electronic Proceedings in Theoretical Computer Science;2021-09-06

4. Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation;Lecture Notes in Computer Science;2020

5. Foundations of Reversible Computation;Reversible Computation: Extending Horizons of Computing;2020