We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a l...
详细信息
We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular language implementations, relatively little work has been done to design abstract machines in a systematic fashion. (C) 2000 Elsevier Science B.V. All rights reserved.
Open languages are a new class of formal languages initially defined in [Sunik]. A language of this class combines the grammar of an object-oriented programming language with the universality of a natural language. Th...
详细信息
Open languages are a new class of formal languages initially defined in [Sunik]. A language of this class combines the grammar of an object-oriented programming language with the universality of a natural language. This work details Open C++ based on the syntax and the conceptual system of C++.
Expression analysis, often encompassed in the term “functional genomics,” is the link between physiology and molecular biology. Often, specific physiological changes in plant development are due to a limited number ...
详细信息
Expression analysis, often encompassed in the term “functional genomics,” is the link between physiology and molecular biology. Often, specific physiological changes in plant development are due to a limited number of genes, expressed exclusively in very few cells of an organ or organism. Compounding the situation, these physiological changes may also be transient. Therefore, searching for the responsible genes, though exciting and necessary to understand important processes, is hindered primarily by the scarcity of “precious” cells in the desired physiological state. Used judiciously, molecular methods such as reverse transcription polymerase chain reaction (RT-PCR), microarray analysis, or subtractive hybridization allow analysis of rare or special cells. Each of these methods has its advantages and pitfalls. Working with precious cells entails special biological strategies to avoid excessive work in obtaining the data and misinterpretation of it. To illustrate the logic and methods involved in working with precious cells-tissues, we describe how subtractive hybridization followed by expressed sequence tag (EST) sequencing can be used to search for a few genes specific to a few available cells. less
作者：
Park, JGPark, MSKorea Univ
Dept Comp Sci & Engn Internet Comp Lab Sungbuk Gu Seoul 136701 South Korea
The platform neutrality of Java programs allows them to run on heterogeneous computers. In a distributed environment, however, Java programs often cause performance problems because they are not implemented for specif...
详细信息
The platform neutrality of Java programs allows them to run on heterogeneous computers. In a distributed environment, however, Java programs often cause performance problems because they are not implemented for specific clients, so their implementation conflicts with their usage patterns at the client side. In this paper, we present a mechanism to address this problem by optimizing Java programs using a program specialization technique. Unlike traditional program specialization, our specialization method does not encode the result of specialization only into run-time code. Instead, it encodes the values of multi-valued static expressions into indexed data structure that is referenced by run-time code, and single-valued static expressions into run-time code. With this approach, we can address the code explosion problem of traditional program specialization. In a preliminary implementation, we achieved improvement in performance up to a factor of 3 with very low space requirements.
Openness is one of the features of modern open controllers. The porting ability of open control software is one of the most important aspects related to openness. In order to realize portability. in future open contro...
详细信息
ISBN:
(纸本)0780374908
Openness is one of the features of modern open controllers. The porting ability of open control software is one of the most important aspects related to openness. In order to realize portability. in future open control software, a deeper discussion about its conception is presented according to typical hierarchical control software architecture. Then relative comparison among three main corresponding standards of programming language is presented because the realization of portability mostly depends on developing tools. The discussion and comparing results may be helpful to improve or preserve portability of future open control software.
Openness is one of the features of modern opencontrollers. The porting ability of open control software is one ofthe most important aspects related to openness. In order torealize portability in future open control so...
详细信息
Openness is one of the features of modern opencontrollers. The porting ability of open control software is one ofthe most important aspects related to openness. In order torealize portability in future open control software, a deeperdiscussion about its conception is presented according to typicalhierarchical control software architecture. Then relativecomparison among three main corresponding standards ofprogramming language is presented because the realization ofportability mostly depends on developing tools. The discussionand comparing results may be helpful to improve or preserveportability of future open control software.
This paper presents a brief outline of the Mobidget programming language, which is designed for mobile and distributed computation. An agent, which is an abstraction of a process and a protection domain, can migrate e...
详细信息
This paper presents a brief outline of the Mobidget programming language, which is designed for mobile and distributed computation. An agent, which is an abstraction of a process and a protection domain, can migrate either in whole or in part, to different nodes in the network during execution. Objects in an agent may be distributed to several nodes in the network, and even if their exact location is unknown, they can be accessed from the other parts of the agent located on different nodes, Other features, such as inter-agent communication and base-specific method invocation, are also described.
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set ma...
详细信息
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set manner. In this paper, an off line AOPLID interpreter in Prolog is implemented, based on the off line AOPLID program semantics. At the same time, the set of rules is given which transforms an AOPLID program represented by sets into Prolog clauses so that it can be interpreted by the off line interpreter. Finally, the sound codes of the off line interpreter are listed.
Multiversion databases allow to represent in a database several states, or versions, of the real world entities. To take into account the new dimension introduced by versioning, new operations must be added to convent...
详细信息
Multiversion databases allow to represent in a database several states, or versions, of the real world entities. To take into account the new dimension introduced by versioning, new operations must be added to conventional database programming languages. In this paper, we describe such operations according to the DataBase Version (DBV) model, which allows an efficient management of as many versions as needed. Operations are first presented intuitively, then formal definitions of their syntax and their semantics is given. The work presented is considered as a syntactical framework for the development of sophisticated tools for design applications and configuration management. Special attention is paid to operations on complex object versions. (C) 2001 Elsevier Science B.V. All rights reserved.
暂无评论