skip to main content
article
Open Access

User Recovery and Reversal in Interactive Systems

Authors Info & Claims
Published:01 January 1984Publication History
First page image

References

  1. 1 ARCHER, J.E., JR. The design and implementation of a cooperative program development environment. PhD dissertation, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., 1981. Google ScholarGoogle Scholar
  2. 2 ARCHER, J.E., JR., AND CONWAY, R. COPE: A cooperative programming environment. Tech. Rep. TR81-459, Dept, of Computer Science, Cornell Univ., Ithaca, N.Y., June 1981. Google ScholarGoogle Scholar
  3. 3 BALZER, R.M. EXDAMS-EXtendable debugging and monitoring system. In Proceedings AFIPS Spring Joint Computer Conference (Boston, Mass., May 14-16), vol. 34. AFIPS Press, Arlington, Va., pp. 567-580. Google ScholarGoogle Scholar
  4. 4 CONWAY, R., AND WILCOX, T. Design and implementation of a diagnostic compiler for PL/I. Commun. ACM, 16, 3 (Mar. 1973), 169-179. Google ScholarGoogle Scholar
  5. 5 GOOD, M. Etude and the folklore of user interface design. SIGPLAN/SIGOA Symposium on Text Manipulation, SIGPLAN Not., 16, 6 (June 1981), 34-43. Google ScholarGoogle Scholar
  6. 6 GRAY, J., GRAHAM, R.M., AND SEEGMULLER, G. Notes on data base operating systems. In Operating Systems An Advanced Course, Bayer et al. (Ed). Springer Verlag, New York, 1979, pp. 393-481. Google ScholarGoogle Scholar
  7. 7 GRAY, J., MCJONES, P., BLASOEN, M., LINg)SAY, B., LORIE, R., PRICE, T., PUTZOLU, F., AND TRAIGER, I. The recovery manager of the system R database manager. Comput. Surv. 13, 2 (June 1981), 223-242. Google ScholarGoogle Scholar
  8. 8 HEINLEIN, R. A Door into Summer, New American Library, New York, N.Y., 1979.Google ScholarGoogle Scholar
  9. 9 HENDERSON, P., AND MORRIS, J. H., JR. A lazy evaluator. In Proceedings 3rd ACM Symposium on Principles of Programming Languages (Atlanta, Ga., Jan. 19-21), ACM, New York, 1976. pp. 95-103. Google ScholarGoogle Scholar
  10. 10 HODGSON, L., AND PORTER, M. BIDOPS: A bi-directional programming system. Tech. Rep., Dept. of Computer Science, Univ. of New England, Armidale, N.S.W., Australia, 1980.Google ScholarGoogle Scholar
  11. 11 KOHLER, W. H. A survey of techniques for synchronization and recovery in decentralized computer systems. Comput. Surv. 13, 2 (June 1981), 149-183. Google ScholarGoogle Scholar
  12. 12 LAMPSON, B.W. BRA Vc Manual, Alto User's Handbook, Xerox PARC, Palo Alto, Calif., 1978.Google ScholarGoogle Scholar
  13. 13 MEDINA-MORA, R., AND FELLER, P. An incremental programming environment. IEEE Trans. Softw. Eng., SE-7 (Sept. 1981), 472-481.Google ScholarGoogle Scholar
  14. 14 MOORE, C., WORONA, S., AND CONWAY, R. PL/CT--A terminal version of PL/C. Tech. Rep. TR 75-230, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., Feb. 1975. Google ScholarGoogle Scholar
  15. 15 TEITELBAUM, T., AND REPS, T. The Cornell program synthesizer: A syntax-directed programming environment. Commun. ACM, 24, 9 (Sept. 1981), 563-573. Google ScholarGoogle Scholar
  16. 16 TEITELMAN, W. iNTERLISP Reference Manual. Xerox PARC, Palo Alto, Calif. Dec. 1975.Google ScholarGoogle Scholar
  17. 17 VERHOFSTAD, J. $. M. Recovery techniques for Database Systems. Comput. Surv. 10, 2 (June 1978), i67-195. Google ScholarGoogle Scholar
  18. 18 WELLS, H. The time machine. In Seven Famous Novels. Knoph, New York, 1934.Google ScholarGoogle Scholar
  19. 19 ZELKOWITZ, M. Reversible execution as a diagnostic tool. PhD dissertation, Dept. of Computer Science, Cornell Univ., Ithaca, N. Y., 1971. Google ScholarGoogle Scholar

Index Terms

  1. User Recovery and Reversal in Interactive Systems

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in

              Full Access

              • Published in

                cover image ACM Transactions on Programming Languages and Systems
                ACM Transactions on Programming Languages and Systems  Volume 6, Issue 1
                Jan. 1984
                125 pages
                ISSN:0164-0925
                EISSN:1558-4593
                DOI:10.1145/357233
                Issue’s Table of Contents

                Copyright © 1984 ACM

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 1 January 1984
                Published in toplas Volume 6, Issue 1

                Permissions

                Request permissions about this article.

                Request Permissions

                Check for updates

                Qualifiers

                • article

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader