命令言語のための多相型推論アルゴリズムは，Tofte により提案され，現在では，Standard ML として実用化されている．しかし，Tofte が提案した型推論アルゴリズムは，多相型に対しての制約が厳しい．その理由は，プログラムを最初から推論するアルゴリズムにあると考えられる．我々は，コンパイラの最適化処理に用いられる値グラフを用いることにより，この制約を緩和する多相型推論アルゴリズムを提案する．
Descriptive set theory is used to compare the expressive power of sublogics of CTL*. One application is a simple proof of the fact that no equivalent CTL formula exist for the CTL* formula EGF(p).The proof consists of showing that in a suitable semantics CTL formulas correspond to Borel sets while [[EGF(p)]] is analytic but not Borel.
Context-sensitive rewriting is a restriction of term rewriting used to model evaluation strategies infunctional programming and in programming languages like OBJ. For example, under certain conditionstermination of an OBJ program is equivalent to innermost termination of the corresponding contextsensitiverewrite system. To prove termination of context-sensitive rewriting, several methods havebeen proposed in the literature which transform context-sensitive rewrite systems into ordinary rewritesystems such that termination of the transformed ordinary system implies termination of the originalcontext-sensitive system. None of these transformations is very satisfactory when it comes to provinginnermost termination. We present a simple transformation which is both sound and complete forinnermost termination.
This paper presents a compound document framework, which can build a document from visible software componentsand adapt them to the needs of their users. Since each component is implemented as a mobile agent, adocument can travel over a network as a whole, with all its embedded components. The framework also providesseveral value-added mechanisms for visually manipulating components embedded in a compound document and forsharing a window on the screen among the components. It enables a document to itinerate among remote computersaccording to its content. It also can offer components for supporting various operations for documents, for example,forwarding and duplication. This paper briefly describes this framework and its prototype implementation.