Work

Fuzzy array dataflow analysis

Year: 1995

Type: conference-paper

Abstract: Exact array dataflow analysis can be achieved in the general case if the only control structures are do-loops and structural ifs, and if loop counter bounds and array subscripts are affine expressions of englobing loop counters and possibly some integer constants. In this paper, we begin the study of dataflow analysis of dynamic control programs, where arbitrary ifs and whiles are allowed. In the general case, this dataflow analysis can only be fuzzy.

Source: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

DOI: 10.1145/209936.209947

Authors: Jean-François Collard, Denis Barthou, Paul Feautrier

Institutions: École Normale Supérieure de Lyon, Laboratoire de l'Informatique du Parallélisme, Université de Versailles Saint-Quentin-en-Yvelines

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2155632873

FWCI: 3.61

Cites: 7

Cited by: 76

Related to: 10