A framework is presented for adding a general Undo facility to programming languages. A discussion of relevant literature is provided to show that the idea of Undoing pervades several areas in computer science, and even other disciplines. A simple model of computation is introduced, and it is augmented with a minimal amount of additional structure needed for recovery and reversal. Two different interpretations of Undo are motivated with examples. Then, four primitives are defined in a languageindependent manner; they are sufficient to support a wide range of Undo capability. Two of these primitives carry out state saving, and the others mirror the two versions of the Undo operation. Properties of and relationships between these primitives are explored, and there are some preliminary remarks on how one could implement a system based on this formalism. The main conclusion is that the notions of recovery and reversal of actions can become part of the programming process.
When working interactively on the computer, it is valuable to be able to undo a series of commands in order to return to a previous state. We identify contradictions and limitations in the basic concepts of undo. We examine the characteristics of undo, explain these limitations, and explore the requirements for more general recovery facilities.
In this paper we describe how we have combined a number of tools (most of which understand a particular programming tanguage) into a single system to aid in the reading, writing, and running of programs. We discuss the efficacy and the structure of our system. For the last two years the system has been used to build itself; it currently consists of 500 kilobytes of machine code (25 ,000 lines of LISP/370 code j and approximately one hundred commands with large numbers of options. We will describe some of the experience we have gained in evolving this system, We first indicate the system components which users have found most important; some of the tools described here are new in the literature. Second, we emphasize how these tools form a synergistic union, and we illustrate this point with a number of examples. Thkd, we illustrate the use of various system commands in the development of a simple program. Fourth, we discuss the implementation of the system components and indicate how some of them have been generalized.
ABSTRACT. Let -2 s c S 2. In this paper we find the precise upper and for the case n = 3. This problem has not been solved for any n>4.The purpose of this paper is to give a complete solution to the analogous constrained coefficient problem for a much simpler class of functions, namely, the typically real functions.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.