• Publications
  • Influence
Fast Pattern Matching in Strings
TLDR
An algorithm is presented which finds all occurrences of one given string within another, in running time proportional to the sum of the lengths of the strings, showing that the set of concatenations of even palindromes, i.e., the language $\{\alpha \alpha ^R\}^*$, can be recognized in linear time. Expand
Andrew: a distributed personal computing environment
TLDR
The origins of Andrew are traced, its goals and strategies are discussed, and an overview of the current status of its implementation and usage is given. Expand
Lambda-calculus models of programming languages.
TLDR
This paper presents a meta-management model that combines a probabilistic approach to management, a reinforcement-gauging approach, and a management style called “strategic decision-making” that was developed during the course of this dissertation. Expand
Issues in the design of computer support for co-authoring and commenting
TLDR
This paper reports on a project to develop a “work in preparation” editor, or PREP editor, to study co-authoring and commenting relationships and identifies three issues in designing computer support for co-authors and commenters. Expand
Protection in programming languages
TLDR
Linguistic mechanisms which can be used to protect one subprogram from another's malfunctioning are described and an attempt is made to distinguish between access limitation and authentication. Expand
Flexible Diff-ing in a collaborative writing system
TLDR
A software system that finds and reports differences (“cliffs”) between versions of texts is reported, allowing users to control several aspects of its operation including what changes are reported and how they are shown when they are reported. Expand
Subgoal induction
TLDR
It is shown that subgoal induction can be viewed as a specialized form of computation induction, which can often be used to prove a loop's correctness directly from its input-output specification without the use of an invariant. Expand
Types are not sets
TLDR
The title is not a statement of fact, of course, but an opinion about how language designers should think about types, which focuses on the role of type checking. Expand
Computer support for distributed collaborative writing: defining parameters of interaction
TLDR
This paper reports research to define a set of interaction parameters that collaborative writers will find useful, outlining task management parameters, notification, scenarios of use, as well as some implementation architectures. Expand
Computer Support for Distributed Collaborative Writing: A Coordination Science Perspective
TLDR
The goal of the research is to provide computer support for distributed collaborative writing, and to identify the strategies and representations that groups of "agents"--people and computers--use to coordinate their activities. Expand
...
1
2
3
4
...