Difference between revisions of "Publications"
From vecolib
| Line 23: | Line 23: | ||
Vojnar. | Vojnar. | ||
Compositional entailment checking for a fragment of separation logic. | Compositional entailment checking for a fragment of separation logic. | ||
| − | In | + | In <em>Programming Languages and Systems - 12th Asian Symposium, |
| + | APLAS 2014, Singapore, November 17-19, 2014, Proceedings</em>, pages 314-333, | ||
| + | 2014. | ||
[ <a href="ref_bib.html#DBLP:conf/aplas/EneaLSV14">bib</a> | | [ <a href="ref_bib.html#DBLP:conf/aplas/EneaLSV14">bib</a> | | ||
<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">DOI</a> | | <a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">DOI</a> | | ||
| Line 34: | Line 36: | ||
<tr valign="top"> | <tr valign="top"> | ||
<td align="right" class="bibtexnumber"> | <td align="right" class="bibtexnumber"> | ||
| − | + | [<a name="DBLP:conf/atva/IosifRV14">2</a>] | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | [<a name="DBLP:conf/atva/IosifRV14"> | + | |
</td> | </td> | ||
<td class="bibtexitem"> | <td class="bibtexitem"> | ||
| Line 57: | Line 42: | ||
Deciding entailments in inductive separation logic with tree | Deciding entailments in inductive separation logic with tree | ||
automata. | automata. | ||
| − | In | + | In <em>Automated Technology for Verification and Analysis - 12th |
| + | International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, | ||
| + | 2014, Proceedings</em>, pages 201-218, 2014. | ||
[ <a href="ref_bib.html#DBLP:conf/atva/IosifRV14">bib</a> | | [ <a href="ref_bib.html#DBLP:conf/atva/IosifRV14">bib</a> | | ||
<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">DOI</a> | | <a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">DOI</a> | | ||
| Line 68: | Line 55: | ||
<tr valign="top"> | <tr valign="top"> | ||
<td align="right" class="bibtexnumber"> | <td align="right" class="bibtexnumber"> | ||
| − | + | [<a name="DBLP:journals/corr/IosifRV14a">3</a>] | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | [<a name="DBLP:journals/corr/IosifRV14a"> | + | |
</td> | </td> | ||
<td class="bibtexitem"> | <td class="bibtexitem"> | ||
Revision as of 14:20, 1 March 2015
| [1] | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás Vojnar. Compositional entailment checking for a fragment of separation logic. In Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pages 314-333, 2014. [ bib | DOI | http ] |
| [2] | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Deciding entailments in inductive separation logic with tree automata. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pages 201-218, 2014. [ bib | DOI | http ] |
| [3] | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Abstraction refinement for trace inclusion of data automata. CoRR, abs/1410.5056, 2014. [ bib | http ] |
This file was generated by bibtex2html 1.96.
