Imperial College London
Alternate

ProfessorSophiaDrossopoulou

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

s.drossopoulou Website

 
 
//

Location

 

559Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Vicente:2018,
author = {Vicente, Franco J and Clebsch, S and Drossopoulou, S and Vitek, J and Wrigstad, T},
publisher = {Springer},
title = {Correctness of a concurrent object collector for actor languages},
url = {http://hdl.handle.net/10044/1/57368},
year = {2018}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - ORCAis a garbage collection protocol for actor-based pro-grams. Multiple actors may mutate the heap while the collector is run-ning without any dedicated synchronisation.ORCAis applicable to anyactor language whose type system prevents data races and which sup-ports causal message delivery. We present a model ofORCAwhich isparametric to the host language and its type system. We describe theinterplay between the host language and the collector. We give invariantspreserved byORCA, and prove its soundness and completeness.
AU  - Vicente,Franco J
AU  - Clebsch,S
AU  - Drossopoulou,S
AU  - Vitek,J
AU  - Wrigstad,T
PB  - Springer
PY  - 2018///
TI  - Correctness of a concurrent object collector for actor languages
UR  - http://hdl.handle.net/10044/1/57368
ER  -
Download