Home > Research > Publications & Outputs > Defining and continuous checking of structural ...

Research

Links

Text available via DOI:

Keywords

View graph of relations

Defining and continuous checking of structural program dependencies

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Defining and continuous checking of structural program dependencies. / Eichberg, Michael; Kloppenburg, Sven; Klose, Karl et al.
Proceedings of the 30th International Conference on Software Engineering (ICSE '08) . New York: ACM, 2008. p. 391-400.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Eichberg, M, Kloppenburg, S, Klose, K & Mezini, M 2008, Defining and continuous checking of structural program dependencies. in Proceedings of the 30th International Conference on Software Engineering (ICSE '08) . ACM, New York, pp. 391-400, ICSE '08: 30th International Conference on Software Engineering , Leipzig, Germany, 10/05/08. https://doi.org/10.1145/1368088.1368142

APA

Eichberg, M., Kloppenburg, S., Klose, K., & Mezini, M. (2008). Defining and continuous checking of structural program dependencies. In Proceedings of the 30th International Conference on Software Engineering (ICSE '08) (pp. 391-400). ACM. https://doi.org/10.1145/1368088.1368142

Vancouver

Eichberg M, Kloppenburg S, Klose K, Mezini M. Defining and continuous checking of structural program dependencies. In Proceedings of the 30th International Conference on Software Engineering (ICSE '08) . New York: ACM. 2008. p. 391-400 doi: 10.1145/1368088.1368142

Author

Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl et al. / Defining and continuous checking of structural program dependencies. Proceedings of the 30th International Conference on Software Engineering (ICSE '08) . New York : ACM, 2008. pp. 391-400

Bibtex

@inproceedings{82ba954ff0f547c789f41b41ace27cb6,
title = "Defining and continuous checking of structural program dependencies",
keywords = "continuous checking, controlling program dependencies , datalog , static analysis",
author = "Michael Eichberg and Sven Kloppenburg and Karl Klose and Mira Mezini",
year = "2008",
doi = "10.1145/1368088.1368142",
language = "English",
isbn = "978-1-60558-079-1",
pages = "391--400",
booktitle = "Proceedings of the 30th International Conference on Software Engineering (ICSE '08)",
publisher = "ACM",
note = " ICSE '08: 30th International Conference on Software Engineering ; Conference date: 10-05-2008 Through 18-05-2008",

}

RIS

TY - GEN

T1 - Defining and continuous checking of structural program dependencies

AU - Eichberg, Michael

AU - Kloppenburg, Sven

AU - Klose, Karl

AU - Mezini, Mira

PY - 2008

Y1 - 2008

KW - continuous checking

KW - controlling program dependencies

KW - datalog

KW - static analysis

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

U2 - 10.1145/1368088.1368142

DO - 10.1145/1368088.1368142

M3 - Conference contribution/Paper

SN - 978-1-60558-079-1

SP - 391

EP - 400

BT - Proceedings of the 30th International Conference on Software Engineering (ICSE '08)

PB - ACM

CY - New York

T2 - ICSE '08: 30th International Conference on Software Engineering

Y2 - 10 May 2008 through 18 May 2008

ER -