Inproceedings,
A runtime system for logical-space programming.
E. Pereira, C. Krainer, P. da Silva, C. Kirsch, and R. Sengupta.SWEC@CPSWeek, page 28-33. ACM, (2015)
Meta data
- BibTeX key
- conf/cpsweek/PereiraKSKS15
- entry type
- inproceedings
- booktitle
- SWEC@CPSWeek
- year
- 2015
- pages
- 28-33
- publisher
- ACM
- crossref
- conf/cpsweek/2015swec
- ee
- https://doi.org/10.1145/2756755.2756760
- isbn
- 978-1-4503-3595-9
- url
- http://dblp.uni-trier.de/db/conf/cpsweek/swec2015.html#PereiraKSKS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cpsweek/PereiraKSKS15
%A Pereira, Eloi
%A Krainer, Clemens
%A da Silva, Pedro Marques
%A Kirsch, Christoph M.
%A Sengupta, Raja
%B SWEC@CPSWeek
%D 2015
%E Sangiovanni-Vincentelli, Alberto L.
%I ACM
%K
%P 28-33
%T A runtime system for logical-space programming.
%U http://dblp.uni-trier.de/db/conf/cpsweek/swec2015.html#PereiraKSKS15
%@ 978-1-4503-3595-9
@inproceedings{conf/cpsweek/PereiraKSKS15,
added-at = {2023-12-13T01:18:12.000+0100},
author = {Pereira, Eloi and Krainer, Clemens and da Silva, Pedro Marques and Kirsch, Christoph M. and Sengupta, Raja},
biburl = {https://www.bibsonomy.org/bibtex/203496dc16b0f7e4e59404d0ddcda4a80/admin},
booktitle = {SWEC@CPSWeek},
crossref = {conf/cpsweek/2015swec},
editor = {Sangiovanni-Vincentelli, Alberto L.},
ee = {https://doi.org/10.1145/2756755.2756760},
interhash = {6f9d9adbf9bc2509b56ce410484ac01b},
intrahash = {03496dc16b0f7e4e59404d0ddcda4a80},
isbn = {978-1-4503-3595-9},
keywords = {},
pages = {28-33},
publisher = {ACM},
timestamp = {2023-12-13T01:18:12.000+0100},
title = {A runtime system for logical-space programming.},
url = {http://dblp.uni-trier.de/db/conf/cpsweek/swec2015.html#PereiraKSKS15},
year = 2015
}