pdf-format: |
|
@InProceedings{mansutti:LIPIcs:2018:9941, author = {Alessio Mansutti}, title = {{Extending Propositional Separation Logic for Robustness Properties}}, booktitle = {38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)}, pages = {42:1--42:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-093-4}, ISSN = {1868-8969}, year = {2018}, volume = {122}, editor = {Sumit Ganguly and Paritosh Pandya}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9941}, URN = {urn:nbn:de:0030-drops-99418}, doi = {10.4230/LIPIcs.FSTTCS.2018.42}, annote = {Keywords: Separation logic, decision problems, reachability, logics on trees, interval temporal logic, adjuncts and quantifiers elimination} }
Keywords: | Separation logic, decision problems, reachability, logics on trees, interval temporal logic, adjuncts and quantifiers elimination | |
Seminar: | 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) | |
Issue date: | 2018 | |
Date of publication: | 05.12.2018 |