FROM STATIC TO DYNAMIC PROCESS TYPES
Franz Puntigam
2006
Abstract
Process types – a kind of behavioral types – specify constraints on message acceptance for the purpose of synchronization and to determine object usage and component behavior in object-oriented languages. So far process types have been regarded as a purely static concept for Actor languages incompatible with inherently dynamic programming techniques. We propose solutions of related problems causing the approach to become useable in more conventional dynamic and concurrent languagues. The proposed approach can ensure message acceptability and support local and static checking of race-free programs.
DownloadPaper Citation
in Harvard Style
Puntigam F. (2006). FROM STATIC TO DYNAMIC PROCESS TYPES . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 21-28. DOI: 10.5220/0001312900210028
in Bibtex Style
@conference{icsoft06,
author={Franz Puntigam},
title={FROM STATIC TO DYNAMIC PROCESS TYPES},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2006},
pages={21-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001312900210028},
isbn={978-972-8865-69-6},
}
in EndNote Style
TY - CONF
JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - FROM STATIC TO DYNAMIC PROCESS TYPES
SN - 978-972-8865-69-6
AU - Puntigam F.
PY - 2006
SP - 21
EP - 28
DO - 10.5220/0001312900210028