Defining and continuous checking of structural program dependencies - Research Portal | Lancaster University

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

Computing and Communications

Links

http://dl.acm.org/citation.cfm?doid=1368088.1368142

Text available via DOI:

https://doi.org/10.1145/1368088.1368142
Final published version

Keywords

continuous checking, controlling program dependencies , datalog , static analysis

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

Michael Eichberg
Sven Kloppenburg
Karl Klose
Mira Mezini

Publication date	2008
Host publication	Proceedings of the 30th International Conference on Software Engineering (ICSE '08)
Place of Publication	New York
Publisher	ACM
Pages	391-400
Number of pages	10
ISBN (print)	978-1-60558-079-1
<mark>Original language</mark>	English
Event	ICSE '08: 30th International Conference on Software Engineering - Leipzig, Germany Duration: 10/05/2008 → 18/05/2008

Conference

Conference	ICSE '08: 30th International Conference on Software Engineering
Country/Territory	Germany
City	Leipzig
Period	10/05/08 → 18/05/08

Conference

Conference	ICSE '08: 30th International Conference on Software Engineering
Country/Territory	Germany
City	Leipzig
Period	10/05/08 → 18/05/08