| | 1 | <table> |
| | 2 | |
| | 3 | <tr valign="top"> |
| | 4 | <td align="right" class="bibtexnumber"> |
| | 5 | [<a name="bandali2020">4</a>] |
| | 6 | </td> |
| | 7 | <td class="bibtexitem"> |
| | 8 | <a href="https://bndl.org">Amin Bandali</a>. |
| | 9 | A Comprehensive Study of Declarative Modelling Languages. |
| | 10 | MMath thesis, University of Waterloo, David R. Cheriton School of |
| | 11 | Computer Science, July 2020. |
| | 12 | <a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a> and |
| | 13 | <a href="https://bndl.org/mmath">https://bndl.org/mmath</a>. |
| | 14 | [ <a href="bandali-bib#bandali2020">bib</a> | |
| | 15 | <a href="http://hdl.handle.net/10012/16059">http</a> | |
| | 16 | <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a> ] |
| | 17 | |
| | 18 | </td> |
| | 19 | </tr> |
| | 20 | |
| | 21 | |
| | 22 | <tr valign="top"> |
| | 23 | <td align="right" class="bibtexnumber"> |
| | 24 | [<a name="DBLP:conf/re/AbbassiBDS18">3</a>] |
| | 25 | </td> |
| | 26 | <td class="bibtexitem"> |
| | 27 | Ali Abbassi, <a href="https://bndl.org">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, and José Serna. |
| | 28 | A comparison of the declarative modelling languages B, Dash, and |
| | 29 | TLA<sup>+</sup>. |
| | 30 | In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo |
| | 31 | Sánchez, editors, <em>8th IEEE International Model-Driven |
| | 32 | Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August |
| | 33 | 20, 2018</em>, pages 11–20. IEEE Computer Society, 2018. |
| | 34 | [ <a href="bandali-bib#DBLP:conf/re/AbbassiBDS18">bib</a> | |
| | 35 | <a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a> | |
| | 36 | <a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a> ] |
| | 37 | |
| | 38 | </td> |
| | 39 | </tr> |
| | 40 | |
| | 41 | |
| | 42 | <tr valign="top"> |
| | 43 | <td align="right" class="bibtexnumber"> |
| | 44 | [<a name="bandali-magic-lassonde-2017">2</a>] |
| | 45 | </td> |
| | 46 | <td class="bibtexitem"> |
| | 47 | <a href="https://bndl.org">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>. |
| | 48 | The magic of specifications and type systems. |
| | 49 | Presented at the 2017 Lassonde Undergraduate Summer Student Research |
| | 50 | Conference, York University, Toronto, Canada, August 2017. |
| | 51 | [ <a href="bandali-bib#bandali-magic-lassonde-2017">bib</a> | |
| | 52 | <a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a> ] |
| | 53 | |
| | 54 | </td> |
| | 55 | </tr> |
| | 56 | |
| | 57 | |
| | 58 | <tr valign="top"> |
| | 59 | <td align="right" class="bibtexnumber"> |
| | 60 | [<a name="bandali-magic-cucsc-2017">1</a>] |
| | 61 | </td> |
| | 62 | <td class="bibtexitem"> |
| | 63 | <a href="https://bndl.org">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan S. Ostroff</a>. |
| | 64 | The magic of specifications and type systems. |
| | 65 | Presented at the Canadian Undergraduate Computer Science Conference |
| | 66 | 2017, University of Toronto, Canada, June 2017. |
| | 67 | [ <a href="bandali-bib#bandali-magic-cucsc-2017">bib</a> | |
| | 68 | <a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a> ] |
| | 69 | |
| | 70 | </td> |
| | 71 | </tr> |
| | 72 | </table> |
projects / ~bandali / bndl.org / blame_incremental