Bounded point derivations on $R^p(X)$ and approximate derivatives

It is shown that if a point $x_0$ admits a bounded point derivation on $R^p(X)$, the closure of rational function with poles off $X$ in the $L^p(dA)$ norm, for $p >2$, then there is an approximate derivative at $x_0$. A similar result is proven for higher-order bounded point derivations. This extends a result of Wang which was proven for $R(X)$, the uniform closure of rational functions with poles off $X$.

Object-Oriented Type Inference

We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an optimizing compiler. Types are finite sets of classes and subtyping is set inclusion. Using a trace graph, our algorithm constructs a set of conditional type constraints and computes the least solution by least fixed-point derivation.

Higher point derivations on commutative Banach algebras, III

Let A be a commutative Banach algebra with identity 1 over the complex field C, and let d0 be a character on A. We recall that a (higher) point derivation of order q on A at d0 is a sequence d1, …, dq of linear functionals on A such that the identitieshold for each choice of f and g in A and k in {1, …, q}. A point derivation of infinite order is an infinite sequence {dk} of linear functionals such that (1.1) holds for all k. A point derivation is continuous if each dk is continuous, totally discontinuous if dk is discontinuous for each k≧1, and degenerate if d1 = 0.