Flow grammars — a flow analysis methodology

Uhl, James S.; Horspool, R. Nigel

doi:10.1007/3-540-57877-3_14

Cited by 3 publications

(4 citation statements)

References 18 publications

(22 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many previous works of the author [1,2,3,4,5] clearly indicate connections between machine dynamics and technical diagnostics, especially vibration diagnostics. The bases of identification, modeling and concluding fully convince towards the dominating role of vibrations in machine state identification [6,7,8,9]. Properly planned and realized experiment is the base to obtain diagnostically sensitive signals which processed will determine state diagnosis procedures.…”

Section: Introductionmentioning

confidence: 99%

Vibrations in the Assessment of Construction State

Żółtowski¹,

Żółtowski²

2014

AMM

View full text Add to dashboard Cite

The knowledge of the dynamic state and structure of the system allows to describe its behavior, and allows creating prognosis models of the system behavior in the function of dynamic evolution time, based on the model of the technical state symptoms growth. Most often, however, there are no known equations describing behaviors of the system in the function of dynamic evolution time, which accounts for the need to apply new tools to examine the dynamic state. There is, therefore, the requirement to experimentally verify analytical technical models as the proper one is a model which is verified in practice. An experiment is, therefore, often only an inspiration for further researches leading to the optimization of the construction. In this work presented are chosen problems of machines’ technical state diagnosis with the use of identification and technical diagnostics methods. Relations between methods of dynamic state evaluation and methods of technical state evaluation were indicated. Example modal analysis results illustrate the complexity of projecting dynamic state researches into diagnostic researches of machine state evaluation.

show abstract

Section: Introductionmentioning

confidence: 99%

Vibrations in the Assessment of Construction State

Żółtowski¹,

Żółtowski²

2014

AMM

View full text Add to dashboard Cite

show abstract

“…The other competing approach, used in past versions of the Pavilion system, is to represent sets of program traces by flow grammars [145]. This model represents the same traces as the pushdown automaton model, but uses a different data structure with different efficiencies for operations.…”

Section: Modeling the Input And Output Programsmentioning

confidence: 99%

“…analysis, such as [43,101,145]. Also, outside the context of program analysis, push-down automata are a well-understood subject in computer science; algorithms for manipulating them in various 3.…”

Section: Feature Analysismentioning

confidence: 99%

“…The actual generation of the automaton for a particular program is done in two phases: a C++ program converts a ROSE AST into a flow grammar [145], and a Scheme program converts that into a push-down automaton. The C++ program is generated by a template that is written in a domain-specific language (represented as Scheme data structures with C++ expression trees mixed in) that is then compiled to pure C++ code.…”

Section: Other Implementation Featuresmentioning

confidence: 99%

See 1 more Smart Citation

A Language for Specifying Compiler Optimizations for Generic Software

Lumsdaine

Willcock

2007

View full text Add to dashboard Cite

would not have been exposed to either generic programming or programming languages to the level that I have. He has also shown me in detail how to perform research and write high-quality papers, and I am grateful to be able to benefit from his experience in these areas.I am also grateful to my mentor at Lawrence Livermore National Laboratory, Daniel Quinlan, for aid in creating the thesis and support in both software development and writing the thesis. The ROSE framework, of which he is the main developer, was invaluable in applying the work in this thesis to commonly used programming languages. On the other hand, software libraries have also been recognized as potentially aiding in program optimization. One proposed implementation of library-based optimization is to allow the library author, or a library user, to define custom analyses and optimizations. Only limited systems have been created to take advantage of this potential, however. One problem in creating a framework for defining new optimizations and analyses is how users are to specify them: implementing them by hand inside a compiler is difficult and prone to errors. Thus, a domain-specific language for librarybased compiler optimizations would be beneficial. Many optimization specification languages have appeared in the literature, but they tend to be either limited in power or unnecessarily difficult to use. Therefore, I have designed, implemented, and evaluated the Pavilion language for specifying program analyses and optimizations, designed for library authors and users. These analyses and optimizations can be based on the implementation of a particular library, its use in a specific program, or on the properties of a broad range of types, expressed through concepts. The new system is intended to provide a high level of expressiveness, even though the intended users are unlikely to be compiler experts.viii

show abstract

Abstract interpretation of algebraic polynomial systems (Extended abstract)

Cousot

1997

Algebraic Methodology and Software Technology

View full text Add to dashboard Cite

Flow grammars — a flow analysis methodology

Cited by 3 publications

References 18 publications

Vibrations in the Assessment of Construction State

Vibrations in the Assessment of Construction State

A Language for Specifying Compiler Optimizations for Generic Software

Abstract interpretation of algebraic polynomial systems (Extended abstract)

Contact Info

Product

Resources

About