An automata-theoretic approach to interprocedural data-flow analysis

Javier Esparza, Jens Knoop

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

72 Scopus citations

Abstract

We show that recent progress in extending the automatatheoretic approach to model-checking beyond the class of finite-state processes finds a natural application in the area of interprocedural data-flow analysis.

Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures - 2nd International Conference, FOSSACS 1999, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings
EditorsWolfgang Thomas
PublisherSpringer Verlag
Pages14-30
Number of pages17
ISBN (Electronic)9783540657194
DOIs
StatePublished - 1999
Event2nd International Conference on Foundations of Software Science and Computation Structures, FOSSACS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 - Amsterdam, Netherlands
Duration: 22 Mar 199928 Mar 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1578
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd International Conference on Foundations of Software Science and Computation Structures, FOSSACS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999
Country/TerritoryNetherlands
CityAmsterdam
Period22/03/9928/03/99

Keywords

  • Automata theory
  • Interprocedural data-flow analysis
  • Model-checking
  • Program optimisation

Fingerprint

Dive into the research topics of 'An automata-theoretic approach to interprocedural data-flow analysis'. Together they form a unique fingerprint.

Cite this