A Framework for Integrating Programming Languages, Repository and Development Environment

点击翻译按钮获取中文摘要

The goal of this research is to develop a component framework by integrating the sate-of-the-art research results in the fields of programming languages, software development methodologies, program development environment, and database systems. To achieve this goal, we have investigated the following items.1. Type theory for component synthesis and reuse.In this topic, we have investigated type theory for component and obtained various results including a method for compile time checking of component consistency, and an optimal register allocation method based on dynamic programming.2. Component-oriented software development methodologyWe have investigated the basic framework for verifying class invariants in a component system. We have also used the notion of collaboration and obtained a method for software evolution and construction.3. Component development environmentBased on XML-markup method, we have obtained a binary-level component description system and have implemented a prototype system.4. Component repositoriesBy regarding source code in a component system as a set of structured document written in various languages, we have developed a uniform query system for those collections of documents of heterogeneous structures.