Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 6.

Conference or workshop item

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)
Format: PDF
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)
Format: PDF
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)
Format: PDF
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)
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)
Format: PDF
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)
Format: PDF
This list was generated on Mon Jul 22 01:45:06 2024 BST.