Published in: LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024)
Vincent Jackson, Toby Murray, and Christine Rizkallah. A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras. In 15th International Conference on Interactive Theorem Proving (ITP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 309, pp. 23:1-23:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{jackson_et_al:LIPIcs.ITP.2024.23, author = {Jackson, Vincent and Murray, Toby and Rizkallah, Christine}, title = {{A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras}}, booktitle = {15th International Conference on Interactive Theorem Proving (ITP 2024)}, pages = {23:1--23:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-337-9}, ISSN = {1868-8969}, year = {2024}, volume = {309}, editor = {Bertot, Yves and Kutsia, Temur and Norrish, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.23}, URN = {urn:nbn:de:0030-drops-207510}, doi = {10.4230/LIPIcs.ITP.2024.23}, annote = {Keywords: verification, concurrency, rely-guarantee, separation logic, resource algebras} }
Published in: LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024)
Hannes Saffrich. Abstractions for Multi-Sorted Substitutions. In 15th International Conference on Interactive Theorem Proving (ITP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 309, pp. 32:1-32:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{saffrich:LIPIcs.ITP.2024.32, author = {Saffrich, Hannes}, title = {{Abstractions for Multi-Sorted Substitutions}}, booktitle = {15th International Conference on Interactive Theorem Proving (ITP 2024)}, pages = {32:1--32:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-337-9}, ISSN = {1868-8969}, year = {2024}, volume = {309}, editor = {Bertot, Yves and Kutsia, Temur and Norrish, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.32}, URN = {urn:nbn:de:0030-drops-207609}, doi = {10.4230/LIPIcs.ITP.2024.32}, annote = {Keywords: Agda, Metatheory, Framework} }
Published in: LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Han Xu and Zhenjiang Hu. Analytical Differential Calculus with Integration. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 198, pp. 143:1-143:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{xu_et_al:LIPIcs.ICALP.2021.143, author = {Xu, Han and Hu, Zhenjiang}, title = {{Analytical Differential Calculus with Integration}}, booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)}, pages = {143:1--143:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-195-5}, ISSN = {1868-8969}, year = {2021}, volume = {198}, editor = {Bansal, Nikhil and Merelli, Emanuela and Worrell, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.143}, URN = {urn:nbn:de:0030-drops-142127}, doi = {10.4230/LIPIcs.ICALP.2021.143}, annote = {Keywords: Differential Calculus, Integration, Lambda Calculus, Incremental Computation, Adaptive Computing} }
Published in: LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, and Zhenjiang Hu. Transforming Programs between APIs with Many-to-Many Mappings. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 25:1-25:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{wang_et_al:LIPIcs.ECOOP.2016.25, author = {Wang, Chenglong and Jiang, Jiajun and Li, Jun and Xiong, Yingfei and Luo, Xiangyu and Zhang, Lu and Hu, Zhenjiang}, title = {{Transforming Programs between APIs with Many-to-Many Mappings}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {25:1--25:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.25}, URN = {urn:nbn:de:0030-drops-61195}, doi = {10.4230/LIPIcs.ECOOP.2016.25}, annote = {Keywords: Program transformation, API migration} }
Published in: Dagstuhl Reports, Volume 1, Issue 1 (2011)
Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James Terwilliger. Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). In Dagstuhl Reports, Volume 1, Issue 1, pp. 42-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@Article{hu_et_al:DagRep.1.1.42, author = {Hu, Zhenjiang and Sch\"{u}rr, Andy and Stevens, Perdita and Terwilliger, James}, title = {{Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)}}, pages = {42--67}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2011}, volume = {1}, number = {1}, editor = {Hu, Zhenjiang and Sch\"{u}rr, Andy and Stevens, Perdita and Terwilliger, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.1.42}, URN = {urn:nbn:de:0030-drops-31442}, doi = {10.4230/DagRep.1.1.42}, annote = {Keywords: Bidirectional Languages, Transformation, Model/Data Synchronisation} }
Feedback for Dagstuhl Publishing