pdf-format: |
|
@InProceedings{boll_et_al:DagSemProc.08251.1, author = {Boll, Susanne and Kankanhalli, Mohan S. and Pingali, Gopal and Venkatesh, Svetha}, title = {{08251 Abstracts Collection – Contextual and Social Media Understanding and Usage}}, booktitle = {Contextual and Social Media Understanding and Usage}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8251}, editor = {Susanne Boll and Mohan S. Kankanhalli and Gopal Pingali and Svetha Venkatesh}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2009/2025}, URN = {urn:nbn:de:0030-drops-20259}, doi = {10.4230/DagSemProc.08251.1}, annote = {Keywords: Mutable state, Program logics, Semantics, Type systems} }
Keywords: | Mutable state, Program logics, Semantics, Type systems | |
Seminar: | 08251 - Contextual and Social Media Understanding and Usage | |
Issue date: | 2009 | |
Date of publication: | 29.05.2009 |