Data flow analysis of applicative programs

Micha Sharir

doi:10.1007/3-540-10843-2_9

Data flow analysis of applicative programs

Micha Sharir^*

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A precise and efficient data-flow analysis algorithm, for analysis of programs involving procedures with call-by-value parameter passing, is presented and analyzed. It is adapted to handle analysis of applicative programs written in a subset of LISP, but is equally suited to analyze programs written in many other languages, such as ADA, APL and SETL.

Original language	English
Title of host publication	Automata, Languages and Programming - 8th Colloquium
Editors	Shimon Even, Oded Kariv
Publisher	Springer Verlag
Pages	98-113
Number of pages	16
ISBN (Print)	9783540108436
DOIs	https://doi.org/10.1007/3-540-10843-2_9
State	Published - 1981
Event	8th International Colloquium on Automata, Languages and Programming, ICALP 1981 - Acre, Israel Duration: 13 Jul 1981 → 17 Jul 1981

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	115 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Colloquium on Automata, Languages and Programming, ICALP 1981
Country/Territory	Israel
City	Acre
Period	13/07/81 → 17/07/81

Access to Document

10.1007/3-540-10843-2_9

Cite this

@inproceedings{2b77710996904947abe9e4f0d11f6dab,

title = "Data flow analysis of applicative programs",

abstract = "A precise and efficient data-flow analysis algorithm, for analysis of programs involving procedures with call-by-value parameter passing, is presented and analyzed. It is adapted to handle analysis of applicative programs written in a subset of LISP, but is equally suited to analyze programs written in many other languages, such as ADA, APL and SETL.",

author = "Micha Sharir",

note = "Publisher Copyright: {\textcopyright} 1981, Springer-Verlag.; 8th International Colloquium on Automata, Languages and Programming, ICALP 1981 ; Conference date: 13-07-1981 Through 17-07-1981",

year = "1981",

doi = "10.1007/3-540-10843-2_9",

language = "אנגלית",

isbn = "9783540108436",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "98--113",

editor = "Shimon Even and Oded Kariv",

booktitle = "Automata, Languages and Programming - 8th Colloquium",

}

Sharir, M 1981, Data flow analysis of applicative programs. in S Even & O Kariv (eds), Automata, Languages and Programming - 8th Colloquium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 115 LNCS, Springer Verlag, pp. 98-113, 8th International Colloquium on Automata, Languages and Programming, ICALP 1981, Acre, Israel, 13/07/81. https://doi.org/10.1007/3-540-10843-2_9

Data flow analysis of applicative programs. / Sharir, Micha.
Automata, Languages and Programming - 8th Colloquium. ed. / Shimon Even; Oded Kariv. Springer Verlag, 1981. p. 98-113 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 115 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Data flow analysis of applicative programs

AU - Sharir, Micha

PY - 1981

Y1 - 1981

N2 - A precise and efficient data-flow analysis algorithm, for analysis of programs involving procedures with call-by-value parameter passing, is presented and analyzed. It is adapted to handle analysis of applicative programs written in a subset of LISP, but is equally suited to analyze programs written in many other languages, such as ADA, APL and SETL.

AB - A precise and efficient data-flow analysis algorithm, for analysis of programs involving procedures with call-by-value parameter passing, is presented and analyzed. It is adapted to handle analysis of applicative programs written in a subset of LISP, but is equally suited to analyze programs written in many other languages, such as ADA, APL and SETL.

UR - http://www.scopus.com/inward/record.url?scp=85034259106&partnerID=8YFLogxK

U2 - 10.1007/3-540-10843-2_9

DO - 10.1007/3-540-10843-2_9

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85034259106

SN - 9783540108436

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 98

EP - 113

BT - Automata, Languages and Programming - 8th Colloquium

A2 - Even, Shimon

A2 - Kariv, Oded

PB - Springer Verlag

T2 - 8th International Colloquium on Automata, Languages and Programming, ICALP 1981

Y2 - 13 July 1981 through 17 July 1981

ER -

Data flow analysis of applicative programs

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this