Interactive algorithms 2005

Lecture Notes in Computer Science

Volumn 3618, Issue , 2005, Pages 26-38

  Gurevich, Yuri ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING;

INTERACTIVE ALGORITHMS; OBJECT-ORIENTED PROGRAMS;

ALGORITHMS;

EID: 26844477969     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11549345_3     Document Type: Conference Paper

References (20)

1. ASM Michigan Webpage, http://www.eecs.umich.edu/gasm/, maintained by James K. Huggins.
2. The AsmL webpage, http://research.microsoft.com/foundations/AsmL/.
3. Andreas Blass and Yuri Gurevich, "Abstract state machines capture parallel algorithms," ACM Trans. on Computational Logic, 4:4 (2003), 578-651.
4. Andreas Blass and Yuri Gurevich, "Algorithms: A Quest for Absolute Definitions," Bull. Euro. Assoc. for Theor. Computer Science Number 81, October 2003, pages 195-225.
5. Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2, eds. G. Paun et al., World Scientific, 2004, 283-312.
6. Andreas Blass and Yuri Gurevich, "Ordinary Interactive Small-Step Algorithms, I", ACM Trans. on Computational Logic, to appear. Microsoft Research Tech. Report MSR-TR-2004-16.
7. Andreas Blass and Yuri Gurevich, "Ordinary Interactive Small-Step Algorithms, II", ACM Trans. on Computational Logic, to appear. Microsoft Research Tech. Report MSR-TR-2004-88.
8. Andreas Blass and Yuri Gurevich, "Ordinary Interactive Small-Step Algorithms, III", ACM Trans. on Computational Logic, to appear. Microsoft Research Tech. Report MSR-TR-2004-88, mentioned above, covers this article as well; the material was split into two pieces by the journal because of its article-length restriction.
9. Andreas Blass, Yuri Gurevich, Dean Rosenzweig and Benjamin Rossman, "General Interactive Small-Step Algorithms", in preparation.
10. Andreas Blass, Yuri Gurevich, Dean Rosenzweig and Benjamin Rossman, "Composite Interactive Algorithms" (tentative title), in preparation.
11. Andreas Blass, Yuri Gurevich, Dean Rosenzweig and Benjamin Rossman, "Interactive Algorithms: Impatience and Time Sensitivity" (tentative title), in preparation.
12. Andreas Blass, Yuri Gurevich, Dean Rosenzweig and Benjamin Rossman, "Interactive Wide-Step Algorithms", in preparation.
13. Egon Börger and Robert Stärk, "Abstract State Machines: A Method for High-Level System Design and Analysis", Springer-Verlag, 2003.
14. Yuri Gurevich, "Evolving Algebras: An Introductory Tutorial", Bull. Euro. Assoc. for Theor. Computer Science 43, February 1991, 264-284.
15. A slightly revised version is published in Current Trends in Theoretical Computer Science, eds. G. Rozenberg and A. Salomaa, World Scientific, 1993, 266-292.
16. Yuri Gurevich, "Evolving Algebra 1993: Lipari Guide," in Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995, 9-36.
17. Yuri Gurevich, "Sequential Abstract State Machines Capture Sequential Algorithms," ACM Trans. on Computational Logic 1:1 (2000), 77-111.
18. Andrey N. Kolmogorov, "On the Concept of Algorithm", Uspekhi Mat. Nauk 8:4 (1953), 175-176, Russian.
19. Andrey A. Markov, "Theory of Algorithms", Transactions of the Steklov Institute of Mathematics, vol. 42 (1954), Russian.
20. Translated to English by the Israel Program for Scientific Translations, Jerusalem, 1962.