Run-Time Checking Multi-threaded Java Programs

Frank S. de Boer, Stijn de Gouw

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

Original languageEnglish
Title of host publicationSOFSEM 2016: Theory and Practice of Computer Science
Subtitle of host publication42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
EditorsRūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
PublisherSpringer
Pages217-228
Number of pages12
ISBN (Electronic)978-3-662-49192-8
ISBN (Print)978-3-662-49191-1
DOIs
Publication statusPublished - 2016
Externally publishedYes
Event42nd International Conference on Current Trends in Theory and Practice of Computer Science - Harrachov, Czech Republic
Duration: 23 Jan 201628 Jan 2016
http://www.sofsem.cz/sofsem16/

Publication series

SeriesLecture Notes in Computer Science
Volume9587
ISSN0302-9743
SeriesTheoretical Computer Science and General Issues
Volume9587

Conference

Conference42nd International Conference on Current Trends in Theory and Practice of Computer Science
Abbreviated titleSOFSEM 2016
CountryCzech Republic
CityHarrachov
Period23/01/1628/01/16
Internet address

Cite this

Boer, F. S. D., & Gouw, S. D. (2016). Run-Time Checking Multi-threaded Java Programs. In R. M. Freivalds, G. Engels, & B. Catania (Eds.), SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings (pp. 217-228). Springer. Lecture Notes in Computer Science, Vol.. 9587, Theoretical Computer Science and General Issues, Vol.. 9587 https://doi.org/10.1007/978-3-662-49192-8_18