Network and relational database standards are under development by technical committee X3H2 of the American National Standards Institute. This paper is an overview of the procedure language interface to these proposed...
详细信息
Network and relational database standards are under development by technical committee X3H2 of the American National Standards Institute. This paper is an overview of the procedure language interface to these proposed standards. It introduces the basic structures and operations of each data model, focuses on the procedure language interface as a facility for database access from external languages, and discusses various alternatives for use of the database language standard with existing standard programming languages. The paper contains example application programs of each access alternative and concludes with a discussion of basic requirements for application of the standard specifications to distributed database processing in an open systems environment.
Besides the choice of an automated software method for selecting 'maximally diverse' compounds from a large pool of molecules, it is the implementation of the algorithm that critically determines the usefulnes...
详细信息
Besides the choice of an automated software method for selecting 'maximally diverse' compounds from a large pool of molecules, it is the implementation of the algorithm that critically determines the usefulness of the approach. The speed of execution of two implementations of the Maxmin algorithm is compared for the selection of maximally diverse subsets of large compound collections. Different versions of the software are compared using various C compiler options and Java virtual machines. The analysis shows that the Maxmin algorithm can be implemented in both languages yielding sufficient speed of execution. For large compound libraries the Java version outperformes the C version. While the Java version selects the same compounds independent of the virtual machine used, the C version produces slightly different subsets depending on the compiler and on the optimization settings.
The Japanese computer industry is organized on different lines to that in the USA or Western Europe. A higher degree of cooperation and coordination characterizes much of Japanese industry, as it does Japanese society...
详细信息
The Japanese computer industry is organized on different lines to that in the USA or Western Europe. A higher degree of cooperation and coordination characterizes much of Japanese industry, as it does Japanese society. Nevertheless, there is a fairly close similarity between Japanese and US companies, particularly since the Japanese have begun to decentralize their R&D operations. Many Japanese companies also manufacture American products under licence. The fifth generation computer project, which is an example of Japanese cooperation and willingness to pursue long-term goals is discussed.
A set of structures and operations is proposed in terms of which picture processing algorithms can be expressed. The rectangular array model which has traditionally been used for this purpose is discussed and certain ...
详细信息
A set of structures and operations is proposed in terms of which picture processing algorithms can be expressed. The rectangular array model which has traditionally been used for this purpose is discussed and certain weaknesses in it are revealed. The structures and operations which comprise the formalism are described. They are based on the concept of a region. As an example an algorithm has been taken from the literature and is described using the formalism.
This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in t...
详细信息
This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program's code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.
An algorithm for constructing dynamic models of single-arm robots is presented in this paper. Motion equations of robots in analytical form are derived applying a fully automated procedure. It is shown that the soluti...
详细信息
An algorithm for constructing dynamic models of single-arm robots is presented in this paper. Motion equations of robots in analytical form are derived applying a fully automated procedure. It is shown that the solution of a direct and/or inverse problem based on the analytical model requires considerably fewer floating-point multiplications/additions than is the case with previously-developed numerical methods. The developed method is therefore very suitable for real-time application of robot dynamic models. The developed program package is illustrated using the example of Stanford manipulator.
This article describes a programming language for writing low-level libraries for computer algebra systems. Such libraries (GMP, BLAS/LAPACK, etc) are usually written in C, Fortran, and Assembly, and make heavy use of...
详细信息
This article describes a programming language for writing low-level libraries for computer algebra systems. Such libraries (GMP, BLAS/LAPACK, etc) are usually written in C, Fortran, and Assembly, and make heavy use of arrays and pointers. The proposed language, halfway between C and Rust, is designed to be safe and to ease the deductive verification of programs, while being low-level enough to be suitable for this kind of computationally intensive applications. This article also describes a compiler for this language, based on CompCert. The safety of the language has been formally proved using the Coq proof assistant, and so has the property of semantics preservation for the compiler. While the language is not yet feature-complete, this article shows what it entails to design a new domain-specific programming language along its formally verified compiler.
In this paper, we introduce a new software development method that emphasizes software testing cycles and makes a cultural change in program development. In our approach, students follow the software lifecycles to dev...
详细信息
ISBN:
(纸本)0769525571
In this paper, we introduce a new software development method that emphasizes software testing cycles and makes a cultural change in program development. In our approach, students follow the software lifecycles to develop their programs;specifically, a student who is to write a program begins by writing a test suite and completes other development cycles. Students in programming courses usually develop "toy" programs that are superficially tested, graded, and eventually discarded Generally, students are not worried about the quality or maintenance of their products. We believe this style of teaching programming courses leaves students unprepared for developing reliable software. Industry leaders also claimed that more than 50% of a software project's budget was spent on activities related to improving software quality. They stated the reason was the inadequate attention paid to software quality in the development phase. Our approach integrates into the existing programming courses without changing the course contents, syllabus, policies, or loads, and our model improves the students' program quality, in terms of black-box testing. Students indicated that our method helped them in understanding the problems and writing the programs, made the code easier to debug, and improved the students' code reliability and quality.
This paper focusses on a language which allows to program and encapsulate control environments. The proposal is to tackle control related problems much the same way data type related problems have been tackled in rece...
详细信息
This paper focusses on a language which allows to program and encapsulate control environments. The proposal is to tackle control related problems much the same way data type related problems have been tackled in recent programming language designs, that is introducing the possibility of building complex structures starting from a restricted set of primitive notions and providing a hiding mechanism allowing new objects to be used as if they were primitive in the language. An example of a control package implementing recursion along with simple exception handling mechanisms tries to put the ideas in focus.
We present Bronco: an in-development authoring language for Turing-complete procedural text generation. Our language emerged from a close examination of existing tools. This analysis led to our desire of supporting us...
详细信息
ISBN:
(纸本)9783031222979;9783031222986
We present Bronco: an in-development authoring language for Turing-complete procedural text generation. Our language emerged from a close examination of existing tools. This analysis led to our desire of supporting users in specifying yielding grammars, a formalism we invented that is more expressive than what several popular and available solutions offer. With this formalism as our basis, we detail the qualities of Bronco that expose its power in author-focused ways.
暂无评论