Showing papers on "Static analysis published in 1981"
TL;DR: This paper presents a method for developing automatic analyzers which analyze programs and provide programmers with a variety of messages for the purpose of validating these programs in the early stages of program development.
Abstract: The need for programming environments which support different phases of the software life cycle using responsive tools is well established. This paper presents a method for developing automatic analyzers which analyze programs and provide programmers with a variety of messages for the purpose of validating these programs in the early stages of program development. We show using an example, that such analyzers can be systematically constructed using an extension of the Attribute Grammar model which reflects the fact that a program analyzer should perform a static analysis of the program as well as monitor its dynamic behavior efficiently. One of the advantages of the model is that a systematic interaction is allowed between the static and dynamic attributes of the program. We illustrate that an advantage of this interaction is selective program instrumentation. That is, the analyzer is responsive to the programmer's needs by providing a selective analysis of the program's behavior rather than an exhaustive analysis which is difficult to comprehend.
11 citations
TL;DR: A rigorous methadology is described, within the analytical approach to tune the architecture of a dynamically microprogrammable computer to a given application in order to minimize its execution time.
7 citations
1 Jan 1981
TL;DR: In this paper, it is shown that the dynamic axisymmetric snap-through buckling loads obtained from the static approach are comparable to those obtained from a dynamic approach. But the dynamic analysis of a spherical cap subjected to a timewise step load is performed using a simple static analysis without resorting to an elaborate dynamic analysis.
Abstract: If it is assumed that, during its forced vibrations which lead to dynamic axisymmetric snap-through buckling, a dynamically loaded spherical cap passes through one of its corresponding static, unstable equilibrium configurations, then it is possible to estimate the dynamic axisymmetric snap-through buckling load from a simple static analysis only, without resorting to an elaborate dynamic analysis. It is shown, through numerical analysis of the spherical cap subjected to a timewise step load, that dynamic axisymmetric snap-through buckling loads obtained from the static approach are comparable to those obtained from the dynamic approach.
6 citations
TL;DR: In this paper, two new methods are proposed to couple and decouple the dynamic characteristics of a structure(s) based on Diakoptics, while the method of decoupling is an original development by the authors.
01 Apr 1981-International Journal of Human-computer Studies \/ International Journal of Man-machine Studies
TL;DR: The methodology of static analysis was used to examine a suite of programs for psychophysiological data processing, with a view to specifying useful features for a specialized computer language, and showed that facilities often ignored in conventional solutions were important.
Abstract: The methodology of static analysis was used to examine a suite of programs for psychophysiological data processing, with a view to specifying useful features for a specialized computer language. Obtained results showed that facilities often ignored in conventional solutions were important. The need for advanced data structures, similar to Pascal, could be shown, but equally the requirement for compatible data operators, capable of transforming arrays and structures, was demonstrated. Input/output was of major importance, and not only at the language level. A clear definition of terminal, record and random access I/O was needed, and some control of the interface to the operating system and machine environment was also desirable. Traditional emphasis on control structures in languages was shown to be misdirected, as the simplest of FORTRAN control statements produced a well structured program. And finally, it was shown that good systems design in a sympathetic software environment could reduce assembly language coding requirements, whilst preserving the execution speed of machine code. Altogether, the results of the static analysis recommend that any language for psychophysiological computing be firmly based on an ecological survey of data processing requirements.