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 (LNCS subseries)
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 (LNCS subseries), Vol.. 9587 https://doi.org/10.1007/978-3-662-49192-8_18