✦ LIBER ✦

Control-flow analysis of functional programs

✍ Scribed by Midtgaard, Jan

Book ID: 111939567
Publisher: Association for Computing Machinery
Year: 2012
Tongue: English
Weight: 420 KB
Volume: 44
Category: Article
ISSN: 0360-0300
DOI: 10.1145/2187671.2187672

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Flow analysis of lazy higher-order funct

Flow analysis of lazy higher-order functional programs

✍ Neil D. Jones; Nils Andersen 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 348 KB

Validating functional equivalence of re-

Validating functional equivalence of re-engineered programs via control path, result, and data flow comparison

✍ Harry M. Sneed 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 616 KB

Results of the flow cytometry ACTG quali

Results of the flow cytometry ACTG quality control program: Analysis and findings

✍ Helene Paxton; Pamela Kidd; Alan Landay; Janis Giorgi; Neal Flomenberg; Edward W 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 907 KB

Data flow analysis of program nets

✍ Kenji Onaga; Wai Kai Chen 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 649 KB

## This paper deals with the data flow analysis of program nets by means of firing sequences, and presents some basic properties on maximal firing numbers and terminating conditions. Specifically, it is shown that a node in a program net is firable if a certain subgraph containing the node does not

Functional analysis of contextual stimul

Functional analysis of contextual stimulus control

✍ Richard W. Serna; Gina Green; E.K. Shriver 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 114 KB

Control-flow analysis of function calls

Control-flow analysis of function calls and returns by abstract interpretation

✍ Jan Midtgaard; Thomas P. Jensen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 911 KB