Henry S. Thompson, Mike Dixon, John Lamping
Two new parsing algorithms for context-free phrase structure grammars are presented which perform a bounded amount of processing per word per analysis path, independently of sentence length. They are...
Laying out and Visualizing Large Using a Hyperbolic Space (2009)
We present a new focus+context (fisheye) scheme for visualizing and manipulating large hierarchies. The essence of our approach is to lay out the hierarchy uniformly on the hyperbolic plane and map...
ABSTRACT PROCESSING ENGLISH WITH A GENERALIZED PHRASE STRUCTURE GRAMMAR (2008)
Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, Eo Anne Paulson, Geoffrey K. Pullum, ...
This paper describes a natural language processing system implemented at Hewlett-Packard's Computer Research Center. The system's main components are: a Generalized Phrase Structure Grammar...
Paper-Headline 1 Aspect Oriented Programming (2008)
Gregor Kiczales, John Irwin, John Lamping, Jean-marc Loingtier, Cristina Videria, Chris Maeda, ...
To date, the primary idea for organizing software systems has been to break the system down into modular units such as subroutines, procedures, objects, clients and servers etc. We note that all of...
Logical Method Combination (2008)
We present an account of method overriding and combination that can be used to richly describe how methods ought to combine and to build method combination facilities based on those descriptions. The...
Anurag Mendhekar, Gregor J. Kiczales, John Lamping, Anurag Mendhekar, Indiana Universiy, Gregor Kiczales, ...
all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full...
Appears in ECOOP’94 Proceedings. Methods as Assertions (2008)
John Lamping, Martin Abadi, John Lamping, Martín Abadi
the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data...
Macros that Reach Out and Touch Somewhere (2007)
Unpublished Internal Report, Luis H. Rodriguez, Gregor Kiczales, Gregor Kiczales, John Lamping, John Lamping, ...
By providing a macro facility, languages such as Scheme and Common Lisp allow users to define new special forms as local, syntactic program transformations. This allows users to abstract away what...
Harold Abelson, John Lamping, Arthur C. Smith
Currently, there exist different approaches to parallelizing a computation at a coarse-grain. One approach is to parallelize a computation by placing compiler declarations in the source code. This...
(Appears in the proceedings of WWOS'93.) The Need for Customizable Operating Systems (2007)
Gregor Kiczales, John Lamping, Chris Maeda, Dylan Mcnamee
Although modern operating systems provide powerful abstractions to application programs, they often fail to implement those abstractions in a way that provides applications programs, especially...
Linear Logic for Meaning Assembly (2002)
Mary Dalrymple, John Lamping, Fernando Pereira, Vijay Saraswat
. Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items, together with composition rules for computing the meanings of larger units from the...
Distributed control for 3d metamorphosis (2001)
Mark Yim, Ying Zhang, John Lamping, Eric Mao
Abstract. In this paper, we define Proteo as a class of three-dimensional (3D) metamorphic robotic system capable of approximating arbitrary 3D shapes by utilizing repeated modules. Each Proteo...
Extending Document Management Systems with User-Specific Active Properties (2000)
Paul Dourish, W. Keith Edwards, Anthony Lamarca, John Lamping, Karin Petersen, Michael Salisbury, ...
Document properties are a compelling basis for the design of a document management infrastructure. They avoid many of the problems of traditional hierarchical storage mechanisms, reflect higher-level...
A programming model for active documents (2000)
Paul Dourish, W. Keith Edwards, Jon Howell, Anthony Lamarca, John Lamping, Karin Petersen, ...
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and infrastructures are...
Caching documents with active properties (1999)
Eyal De Lara, Karin Petersen, Douglas B. Terry, Anthony Lamarca, Jim Thornton, Paul Dourish, ...
Caching in the Placeless Documents system poses new challenges because users can attach active properties to documents. Active properties can modify the document’s content as seen by a user. Thus,...
Caching documents with active properties (1999)
Eyal De Lara, Karin Petersen, Douglas B. Terry, Anthony Lamarca, Jim Thornton, Paul Dourish, ...
' 1999 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for...
Caching documents with active properties (1999)
Eyal De Lara, Karin Petersen, Douglas B. Terry, Anthony Lamarca, Jim Thornton, Paul Dourish, ...
' 1999 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for...
Caching Documents with Active Properties (1999)
Eyal De Lara, Karin Petersen, Douglas B. Terry, Anthony Lamarca, Jim Thornton, Mike Salisbury, ...
Caching in the Placeless Documents system poses new challenges because users can attach active properties to documents. Active properties can modify the document's content as seen by a user....
Taking the Work out of Workflow: Mechanisms for Document-Centered Collaboration (1999)
Anthony Lamarca Keith, W. Keith Edwards, Paul Dourish, John Lamping, Ian Smith, Jim Thornton
: There are two aspects to technical support for collaborative activity; support for content work and support for coordination. The design of CSCW systems must typically address both of these,...
Extending Document Management Systems with User-Specific Active Properties (1999)
Paul Dourish, W. Keith Edwards, Anthony Lamarca, John Lamping, Karin Petersen, Michael Salisbury, ...
Document properties are a compelling infrastructure on which to develop document management applications. A property-based approach avoids many of the problems of traditional hierarchical storage...
Taking the Work out of Workflow: Mechanisms for Document-Centered Collaboration (1999)
Anthony Lamarca, W. Keith Edwards, Paul Dourish, John Lamping, Ian Smith, Jim Thornton
: There are two aspects to technical support for collaborative activity; support for content work and support for coordination. The design of CSCW systems must typically address both of these,...
Aspect-oriented programming (1998)
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-marc Loingtier, ...
We have found many programming problems for which neither procedural nor object-oriented programming techniques are sufficient to clearly capture some of the important design decisions the program...
Aspect-oriented programming (1997)
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, ...
We have found many programming problems for which neither procedural nor object-oriented programming techniques are sufficient to clearly capture some of the important design decisions the program...
Rhombic dodecahedron shape for self-assembling robots (1997)
Mark Yim, John Lamping, Eric Mao, J. Geoffrey Chase
A self-assembling robotic system capable of approximating arbitrary three dimensional shapes utilizing repeated rhombic dodecahedron shaped modules is presented. This shape allows very simple...
Open implementation design guidelines (1997)
Gregor Kiczales, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar
Designing reusable software modules can be extremely difficult. The design must be balanced between being general enough to address the needs of a wide range of clients and being focused enough to...
RG: A case-study for aspect-oriented programming (1997)
Anurag Mendhekar, Gregor Kiczales, John Lamping
RG is an image processing system that allows sophisticated image processing operations to be defined by composing primitive image processing filters. An implementation of RG using OOP is easy to do...
RG: A case-study for aspect-oriented programming (1997)
Anurag Mendhekar, Anurag Mendhekar, Gregor Kiczales, Gregor Kiczales, John Lamping, John Lamping
RG is an image processing system that allows sophisticated image processing operations to be defined by composing primitive image processing filters. An implementation of RG using OOP is easy to do...
Aspect-oriented programming of sparse matrix code (1997)
John Irwin, John Irwin, Jean-marc Loingtier, Jean-marc Loingtier, John R. Gilbert, John R. Gilbert, ...
the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data...
Open Implementation Design Guidelines (1997)
Gregor Kiczales John, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar, Gail Murphy
Designing reusable software modules can be extremely difficult. The design must be balanced between being general enough to address the needs of a wide range of clients and being focused enough to...
Relating Resource-Based Semantics to Categorial Semantics (1997)
Mary Dalrymple, Vineet Gupta, John Lamping, Vijay Saraswat
This paper shows that a significant fragment of the glue approach can be reformulated to separate out the meaning composition in a way that is very similar to that of the categorial approaches....
ASPECT-ORIENTED PROGRAMMING (1997)
Gregor Kiczales, John Irwin, John Lamping, Jean-Marc Loingtier, Cristina Videira Lopes, Chris Maeda, ...
In this paper, we present an overview of our recent research on programming language expressivity. The goal of this work is to make it possible for programs to clearly capture all of the important...
Open Implementation Design Guidelines (1997)
Gregor Kiczales, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar, Gail Murphy
Designing reusable software modules can be extremely difficult. The design must be balanced between being general enough to address the needs of a wide range of clients and being focused enough to...
Aspect-Oriented Programming (1997)
Gregor Kiczales John, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, ...
This paper reports on our work developing programming techniques that make it possible to clearly express those programs that OOP fails to support. We present an analysis of why some design decisions...
Open implementation design guidelines (1997)
Gregor Kiczales, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar, Gail Murphy
Designing reusable software modules can be extremely difficult. The design must be balanced between being general enough to address the needs of a wide range of clients and being focused enough to...
Open implementation design guidelines (1997)
Gregor Kiczales, John Lamping, Cristina Videira Lopes, Chris Maeda, Anurag Mendhekar, Gail Murphy
Designing reusable software modules can be extremely difficult. The design must be balanced between being gen-eral enough to address the needs of a wide range of clients and being focused enough to...
Open implementation design guidelines (1997)
Gail Murphy, Gregor Kiczales, Gregor Kiczales, John Lamping, John Lamping, Cristina Videira Lopes, ...
Designing reusable software modules can be extremely difficult. The design must be balanced between being general enough to address the needs of a wide range of clients and being focused enough to...
Avoiding Confusion in Metacircularity: The Meta-Helix (1996)
Shigeru Chiba, Gregor Kiczales, John Lamping
A system with a metaobject protocol (MOP) allows programmers to extend it and then use the extended system as naturally as the original non-extended one. Such metaobject protocols often use a...
Quantifiers, Anaphora, and Intensionality (1995)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
The relationship between Lexical-Functional Grammar (LFG) {\em functional structures} (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear...
Linear Logic for Meaning Assembly (1995)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
The Semantics of Resource Sharing in Lexical-Functional Grammar (1995)
Kehler, Andrew, Dalrymple, Mary, Lamping, John, Saraswat, Vijay
We argue that the resource sharing that is commonly manifest in semantic accounts of coordination is instead appropriately handled in terms of structure-sharing in LFG f-structures. We provide an...
Linear Logic for Meaning Assembly (1995)
Mary Dalrymple, John Lamping, Fernando Pereira, Vijay Saraswat
This paper provides a brief overview of our ongoing investigation in the use of formal deduction to explicate the relationship between syntactic analyses in Lexical-Functional Grammar (LFG) and...
The Semantics of Resource Sharing in Lexical-Functional Grammar (1995)
Lexical-functional Grammar, Andrew Kehler, Mary Dalrymple, John Lamping, Vijay Saraswat
We argue that the resource sharing that is commonly manifest in semantic accounts of coordination is instead appropriately handled in terms of structure-sharing in LFG f-structures. We provide an...
Efficient Linear Logic Meaning Assembly (1995)
The "glue" approach to... In this paper, we investigate what has made the glue approach computationally feasible and show how to exploit that to efficiently deduce underspecified...
A Focus+Context Technique Based on Hyperbolic Geometry for Visualizing Large Hierarchies (1995)
John Lamping, Ramana Rao, Peter Pirolli
© ACM We present a new focus+context (fisheye) technique for visualizing and manipulating large hierarchies. Our technique assigns more display space to a portion of the hierarchy while still...
A Deductive Account of Quantification in LFG (1994)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic...
Intensional Verbs Without Type-Raising or Lexical Ambiguity (1994)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
We present an analysis of the semantic interpretation of intensional verbs such as seek that allows them to take direct objects of either individual or quantifier type, producing both de dicto and de...
Laying out and visualizing large trees using a hyperbolic space (1994)
all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full...
. A method definition can be viewed as a logical assertion. Whenever we declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the...
Compilation Strategies as Objects (1994)
Anurag Mendhekar, Indiana Universiy, Gregor Kiczales, John Lamping
In this paper we present an overview of the metaobject protocol approach to compilation. We take the position that object orientation in a compiler can be put to effective use in opening up the...
What A Metaobject Protocol Based Compiler Can Do For Lisp," Xerox PARC technical report (1994)
Gregor Kiczales, Gregor Kiczales, John Lamping, John Lamping, Anurag Mendhekar, Anurag Mendhekar
A new kind of metaobject protocol, that controls the compilation of programs, allows users to participate in the compilation in a principled and modular way. Such a compiler makes it possible to...
LFG semantics via constraints (1993)
Mary Dalrymple, John Lamping, Vijay Saraswat
Semantic theories of natural language as-sociate meanings with utterances by pro-viding meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
LFG semantics via constraints (1993)
Mary Dalrymple, John Lamping, Vijay Saraswat
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
Operating Systems: Why Object-Oriented (1993)
permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Xerox's products or services. Internal or personal use of this material is permitted....
Typing the specialization interface (1993)
all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full...
The need for customizable operating systems (1993)
Gregor Kiczales, John Lamping, Chris Maeda, Dylan Mcnamee
permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Xerox's products or services. Internal or personal use of this material is permitted....
An Architecture for An Open Compiler (1992)
Luis H. Rodriguez Jr., John Lamping, John Lamping, Gregor Kiczales, Gregor Kiczales, Luis Rodriguez, ...
This is a progress report on an experiment to build a compile-time metaobject protocol for Scheme. The compilation setting raises issues not present in runtime oriented MOP's, due to the...
An algorithm for optimal lambda calculus reduction (1990)
all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full...
Processing English with a generalized phrase structure grammar (1982)
Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, Eo Anne Paulson, Geoffrey K. Pullum, ...
This paper describes a natural language processing system implemented at Hewlett-Packard's Computer Research Center. The system's main components are: a Generalized Phrase Structure Grammar...
PROCESSING ENGLISH WITH A GENERALIZED PHRASE STRUCTURE GRAMMAR
Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, E. Anne Paulson, Geoffrey K. Pullum, ...
Mary Dalrymple John, John Lamping, Vijay Saraswat
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...