Relational Analysis of Correlation

Jörg Bauer; Flemming Nielson; Hanne Riis Nielson; Henrik Pilegaard

Relational Analysis of Correlation

Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

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

Original language	English
Title of host publication	Static Analysis : Proceedings of 15th International Symposium, SAS 2008
Editors	María Alpuente, Germán Vidal
Publisher	Springer
Publication date	2008
Pages	32-46
Publication status	Published - 2008
Event	15th International Static Analysis Symposium - Technical University of Valencia, Valencia, Spain Duration: 16 Jul 2008 → 18 Jul 2008 Conference number: 15 http://users.dsic.upv.es/~sas2008/

Conference

Conference	15th International Static Analysis Symposium
Number	15
Location	Technical University of Valencia
Country/Territory	Spain
City	Valencia
Period	16/07/2008 → 18/07/2008
Internet address	http://users.dsic.upv.es/~sas2008/

Series	Lecture Notes in Computer Science
Number	5079

Keywords

OpenUrl availability

Full text

Cite this

@inproceedings{20da98f6c0a044ba859f9566dccbfe0a,

title = "Relational Analysis of Correlation",

author = "J{\"o}rg Bauer and Flemming Nielson and Nielson, {Hanne Riis} and Henrik Pilegaard",

year = "2008",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5079",

pages = "32--46",

editor = "Mar{\'i}a Alpuente and Germ{\'a}n Vidal",

booktitle = "Static Analysis",

note = "15th International Static Analysis Symposium , SAS 2008 ; Conference date: 16-07-2008 Through 18-07-2008",

url = "http://users.dsic.upv.es/~sas2008/",

}

Relational Analysis of Correlation. / Bauer, Jörg; Nielson, Flemming; Nielson, Hanne Riis et al.
Static Analysis: Proceedings of 15th International Symposium, SAS 2008. ed. / María Alpuente; Germán Vidal. Springer, 2008. p. 32-46 (Lecture Notes in Computer Science; No. 5079).

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

TY - GEN

T1 - Relational Analysis of Correlation

AU - Bauer, Jörg

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Pilegaard, Henrik

N1 - Conference code: 15

PY - 2008

Y1 - 2008

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 32

EP - 46

BT - Static Analysis

A2 - Alpuente, María

A2 - Vidal, Germán

PB - Springer

T2 - 15th International Static Analysis Symposium

Y2 - 16 July 2008 through 18 July 2008

ER -