Number of items: 6.
2019
|
Torres Lopez, Carmen,
Gurdeep Singh, Robbert,
Marr, Stefan,
Gonzalez Boix, Elisa,
Scholliers, Christophe
(2019)
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs.
In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK.
(doi:10.4230/LIPIcs.ECOOP.2019.27)
(KAR id:74328)
|
|
|
Roberts, Richard,
Marr, Stefan,
Homer, Michael,
Noble, James
(2019)
Transient Typechecks are (Almost) Free.
In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK.
(doi:10.4230/LIPIcs.ECOOP.2019.5)
(KAR id:74327)
|
|
2018
|
Bartoletti, Massimo,
Bocchi, Laura,
Murgia, Massimo
(2018)
Progress-preserving Refinements of CTA.
In:
Leibniz International Proceedings in Informatics.
LIPIcs–Leibniz International Proceedings in Informatics.
Leibniz International Proceedings in Informatics (LIPIcs)
.
pp. 1-19.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken, Germany
ISBN 978-3-95977-087-3.
(doi:10.4230/LIPIcs.CONCUR.2018.40)
(KAR id:67556)
|
|
|
Botoeva, Elena,
Calvanese, Diego,
Cogrel, Benjamin,
Xiao, Guohui
(2018)
Expressivity and Complexity of MongoDB Queries.
In:
Leibniz International Proceedings in Informatics.
21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria.
LIPIcs
, 98.
9:1-9:23.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
ISBN 978-3-95977-063-7.
(doi:10.4230/LIPIcs.ICDT.2018.9)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:91266)
|
|
2017
|
Vollmer, Michael,
Spall, Sarah,
Chamith, Buddhika,
Sakka, Laith,
Koparkar, Chaitanya,
Kulkarni, Milind,
Tobin-Hochstadt, Sam,
Newton, Ryan R.
(2017)
Compiling Tree Transforms to Operate on Packed Representations.
In:
31st European Conference on Object-Oriented Programming (ECOOP 2017).
Leibniz International Proceedings in Informatics (LIPIcs)
, 74.
26:1-26:29.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
ISBN 978-3-95977-035-4.
(doi:10.4230/LIPIcs.ECOOP.2017.26)
(KAR id:98980)
|
|
2016
|
Bruna, Maria,
Grigore, Radu,
Kiefer, Stefan,
Ouaknine, Joël,
Worrell, James
(2016)
Proving the Herman-Protocol Conjecture.
In: Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide, eds.
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016).
Leibniz International Proceedings in Informatics
.
104:1-104:12.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken/Wadern, Germany
ISBN 978-3-95977-013-2.
(doi:10.4230/LIPIcs.ICALP.2016.104)
(KAR id:55083)
|
|
This list was generated on Tue Apr 23 01:01:01 2024 BST.
![[up]](/style/images/multi_up.png)
Up a level
