Declarative Specialization for Object-Oriented-Program Specialization

The use of partial evaluation for specializing programs written in im- perative languages such as C and Java is hampered by the di-culty of controlling the specialization process. We have developed a simple, declar- ative language for controlling the specialization of Java programs, and in- terfaced this language with the JSpec partial evaluator for Java. This lan- guage, named Pesto, allows declarative specialization of programs written in an object-oriented style of programming. The Pesto compiler auto- matically generates the context information needed for specializing Java programs, and automatically generates guards that enable the specialized code in the right context

Towards Unifying Inheritance and Automatic Program Specialization

Inheritance allows a class to be specialized and its attributes refined, but implementation specialization can only take place by overriding with manually implemented methods. Automatic program specialization can generate a specialized, efficient implementation. However, specialization of programs and specialization of classes (inheritance) are considered different abstractions. We present a new programming language, Lapis, that unifies inheritance and program specialization at the conceptual, syntactic, and semantic levels. This paper presents the initial development of Lapis, which uses inheritance with covariant specialization to control the automatic application of program specialization to class members. Lapis integrates object-oriented concepts, block structure, and techniques from automatic program specialization to provide both a language where object-oriented designs can be efficiently implemented and a simple yet powerful partial evaluator for an object-oriented language

Two systems of Cahuilla kinship expressions : labeling and descriptive ; [to appear in the Festschrift for Madison S. Beeler]

The language of the Cahuillas shows two systems of expressions referring to kinship, which could be termed, respectively, as labeling-relational and as descriptive-establishing. […] Descriptive terms show two properties: 1. They are analysable into constituent elements so as to recognize the connection between the term and the proposition. 2. They are distinguishable from the proposition: a. by a special formal element […], in Cahuilla the absolutive suffix. b. by a narrowing or specialization in the meaning. A term which is not descriptive, i.e. which is not connected with a proposition, I shall call "label", "1abeling": It does not say anything about the object but is assigned to it just as a label is attached to a thing […]

Formal Hecke algebras and algebraic oriented cohomology theories

In the present paper we generalize the construction of the nil Hecke ring of Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel and Panin-Smirnov, e.g. to Chow groups, Grothendieck's K_0, connective K-theory, elliptic cohomology, and algebraic cobordism. The resulting object, which we call a formal (affine) Demazure algebra, is parameterized by a one-dimensional commutative formal group law and has the following important property: specialization to the additive and multiplicative periodic formal group laws yields completions of the nil Hecke and the 0-Hecke rings respectively. We also introduce a deformed version of the formal (affine) Demazure algebra, which we call a formal (affine) Hecke algebra. We show that the specialization of the formal (affine) Hecke algebra to the additive and multiplicative periodic formal group laws gives completions of the degenerate (affine) Hecke algebra and the usual (affine) Hecke algebra respectively. We show that all formal affine Demazure algebras (and all formal affine Hecke algebras) become isomorphic over certain coefficient rings, proving an analogue of a result of Lusztig.Comment: 28 pages. v2: Some results strengthened and references added. v3: Minor corrections, section numbering changed to match published version. v4: Sign errors in Proposition 6.8(d) corrected. This version incorporates an erratum to the published versio

Multimethods and separate static typechecking in a language with C++-like object model

The goal of this paper is the description and analysis of multimethod implementation in a new object-oriented, class-based programming language called OOLANG. The implementation of the multimethod typecheck and selection, deeply analyzed in the paper, is performed in two phases in order to allow static typechecking and separate compilation of modules. The first phase is performed at compile time, while the second is executed at link time and does not require the modules' source code. OOLANG has syntax similar to C++; the main differences are the absence of pointers and the realization of polymorphism through subsumption. It adopts the C++ object model and supports multiple inheritance as well as virtual base classes. For this reason, it has been necessary to define techniques for realigning argument and return value addresses when performing multimethod invocations.Comment: 15 pages, 18 figure

Classifying subcategories and the spectrum of a locally noetherian category

Let $\mathcal A$ be a locally noetherian Grothendieck category. In this paper, we study subcategories of $\mathcal A$ using subsets of the spectrum $\mathfrak Spec(\mathcal A)$. Along the way, we also develop results in local algebra with respect to the category $\mathcal A$ that we believe to be of independent interest.Comment: 40 pages, some new results adde