Iterated Process Analysis over Lattice-Valued Regular Expressions

Jan Midtgaard; Flemming Nielson; Hanne Riis Nielson

doi:10.1145/2967973.2968601

Iterated Process Analysis over Lattice-Valued Regular Expressions

Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson

Department of Applied Mathematics and Computer Science

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

2 Downloads (Orbit)

Abstract

We present an iterated approach to statically analyze programs of two processes communicating by message passing. Our analysis operates over a domain of lattice-valued regular expressions, and computes increasingly better approximations of each process's communication behavior. Overall the work extends traditional semantics-based program analysis techniques to automatically reason about message passing in a manner that can simultaneously analyze both values of variables as well as message order, message content, and their interdependencies.

Original language	English
Title of host publication	Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16)
Publisher	Association for Computing Machinery
Publication date	2016
Pages	132-145
ISBN (Print)	978-1-4503-4148-6
DOIs	https://doi.org/10.1145/2967973.2968601
Publication status	Published - 2016
Event	18th International Symposium on Principles and Practice of Declarative Programming - Edinburgh, United Kingdom Duration: 5 Sept 2016 → 11 Sept 2016 Conference number: 18 http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/

Conference

Conference	18th International Symposium on Principles and Practice of Declarative Programming
Number	18
Country/Territory	United Kingdom
City	Edinburgh
Period	05/09/2016 → 11/09/2016
Internet address	http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/

Keywords

Process analysis
Abstract interpretation
Lattice-valued regular expressions

Access to Document

10.1145/2967973.2968601

OpenUrl availability

Full text

Cite this

@inproceedings{26b0190083e44c73852de87a54b6be98,

title = "Iterated Process Analysis over Lattice-Valued Regular Expressions",

abstract = "We present an iterated approach to statically analyze programs of two processes communicating by message passing. Our analysis operates over a domain of lattice-valued regular expressions, and computes increasingly better approximations of each process's communication behavior. Overall the work extends traditional semantics-based program analysis techniques to automatically reason about message passing in a manner that can simultaneously analyze both values of variables as well as message order, message content, and their interdependencies.",

keywords = "Process analysis, Abstract interpretation, Lattice-valued regular expressions",

author = "Jan Midtgaard and Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "2016",

doi = "10.1145/2967973.2968601",

language = "English",

isbn = "978-1-4503-4148-6",

pages = "132--145",

booktitle = "Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16)",

publisher = "Association for Computing Machinery",

address = "United States",

note = "18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016 ; Conference date: 05-09-2016 Through 11-09-2016",

url = "http://conferences.inf.ed.ac.uk/ppdp-lopstr-sas-2016/",

}

Midtgaard, J, Nielson, F & Nielson, HR 2016, Iterated Process Analysis over Lattice-Valued Regular Expressions. in Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16). Association for Computing Machinery, pp. 132-145, 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, 05/09/2016. https://doi.org/10.1145/2967973.2968601

Iterated Process Analysis over Lattice-Valued Regular Expressions. / Midtgaard, Jan; Nielson, Flemming; Nielson, Hanne Riis.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16). Association for Computing Machinery, 2016. p. 132-145.

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

TY - GEN

T1 - Iterated Process Analysis over Lattice-Valued Regular Expressions

AU - Midtgaard, Jan

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

N1 - Conference code: 18

PY - 2016

Y1 - 2016

N2 - We present an iterated approach to statically analyze programs of two processes communicating by message passing. Our analysis operates over a domain of lattice-valued regular expressions, and computes increasingly better approximations of each process's communication behavior. Overall the work extends traditional semantics-based program analysis techniques to automatically reason about message passing in a manner that can simultaneously analyze both values of variables as well as message order, message content, and their interdependencies.

AB - We present an iterated approach to statically analyze programs of two processes communicating by message passing. Our analysis operates over a domain of lattice-valued regular expressions, and computes increasingly better approximations of each process's communication behavior. Overall the work extends traditional semantics-based program analysis techniques to automatically reason about message passing in a manner that can simultaneously analyze both values of variables as well as message order, message content, and their interdependencies.

KW - Process analysis

KW - Abstract interpretation

KW - Lattice-valued regular expressions

U2 - 10.1145/2967973.2968601

DO - 10.1145/2967973.2968601

M3 - Article in proceedings

SN - 978-1-4503-4148-6

SP - 132

EP - 145

BT - Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16)

PB - Association for Computing Machinery

T2 - 18th International Symposium on Principles and Practice of Declarative Programming

Y2 - 5 September 2016 through 11 September 2016

ER -

Iterated Process Analysis over Lattice-Valued Regular Expressions

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this