Run-Time Checking Multi-threaded Java Programs

Frank S. de Boer; Stijn de Gouw

doi:10.1007/978-3-662-49192-8_18

Run-Time Checking Multi-threaded Java Programs

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

Original language	English
Title of host publication	SOFSEM 2016: Theory and Practice of Computer Science
Subtitle of host publication	42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
Editors	Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
Publisher	Springer
Pages	217-228
Number of pages	12
ISBN (Electronic)	978-3-662-49192-8
ISBN (Print)	978-3-662-49191-1
DOIs	https://doi.org/10.1007/978-3-662-49192-8_18
Publication status	Published - 2016
Externally published	Yes
Event	42nd International Conference on Current Trends in Theory and Practice of Computer Science - Harrachov, Czech Republic Duration: 23 Jan 2016 → 28 Jan 2016 http://www.sofsem.cz/sofsem16/

Publication series

Series	Lecture Notes in Computer Science
Volume	9587
ISSN	0302-9743

Series	Theoretical Computer Science and General Issues (LNCS subseries)
Volume	9587

Conference

Conference	42nd International Conference on Current Trends in Theory and Practice of Computer Science
Abbreviated title	SOFSEM 2016
Country/Territory	Czech Republic
City	Harrachov
Period	23/01/16 → 28/01/16
Internet address	http://www.sofsem.cz/sofsem16/

Access to Document

10.1007/978-3-662-49192-8_18

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. https://doi.org/10.1007/978-3-662-49192-8_18

Boer, Frank S. de ; Gouw, Stijn de. / Run-Time Checking Multi-threaded Java Programs. 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. editor / Rūsiņš Mārtiņš Freivalds ; Gregor Engels ; Barbara Catania. Springer, 2016. pp. 217-228 (Lecture Notes in Computer Science, Vol. 9587). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9587).

@inproceedings{262dac046fab4337b22e8aa75dc67949,

title = "Run-Time Checking Multi-threaded Java Programs",

author = "Boer, {Frank S. de} and Gouw, {Stijn de}",

year = "2016",

doi = "10.1007/978-3-662-49192-8_18",

language = "English",

isbn = "978-3-662-49191-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "217--228",

editor = "Freivalds, {Rūsiņ{\v s} Mārtiņ{\v s}} and Gregor Engels and Barbara Catania",

booktitle = "SOFSEM 2016: Theory and Practice of Computer Science",

note = "42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016 ; Conference date: 23-01-2016 Through 28-01-2016",

url = "http://www.sofsem.cz/sofsem16/",

}

Boer, FSD & Gouw, SD 2016, Run-Time Checking Multi-threaded Java Programs. in RM 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. Springer, Lecture Notes in Computer Science, vol. 9587, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9587, pp. 217-228, 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, 23/01/16. https://doi.org/10.1007/978-3-662-49192-8_18

Run-Time Checking Multi-threaded Java Programs. / Boer, Frank S. de; Gouw, Stijn de.
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. ed. / Rūsiņš Mārtiņš Freivalds; Gregor Engels; Barbara Catania. Springer, 2016. p. 217-228 (Lecture Notes in Computer Science, Vol. 9587). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9587).

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

TY - GEN

T1 - Run-Time Checking Multi-threaded Java Programs

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2016

Y1 - 2016

UR - https://link.springer.com/book/10.1007/978-3-662-49192-8

U2 - 10.1007/978-3-662-49192-8_18

DO - 10.1007/978-3-662-49192-8_18

M3 - Conference Article in proceeding

SN - 978-3-662-49191-1

T3 - Lecture Notes in Computer Science

SP - 217

EP - 228

BT - SOFSEM 2016: Theory and Practice of Computer Science

A2 - Freivalds, Rūsiņš Mārtiņš

A2 - Engels, Gregor

A2 - Catania, Barbara

PB - Springer

T2 - 42nd International Conference on Current Trends in Theory and Practice of Computer Science

Y2 - 23 January 2016 through 28 January 2016

ER -

Boer FSD, Gouw SD. Run-Time Checking Multi-threaded Java Programs. In Freivalds RM, Engels G, Catania B, editors, 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. Springer. 2016. p. 217-228. (Lecture Notes in Computer Science, Vol. 9587). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9587). doi: 10.1007/978-3-662-49192-8_18

Run-Time Checking Multi-threaded Java Programs

Publication series

Conference

Access to Document

Other files and links

Cite this