X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/eb1aab372e720aaf68aef33d49f8b80950ff566c..fcc5b13a58e980e00772e664d12f24690328069d:/mmath.m4 diff --git a/mmath.m4 b/mmath.m4 index 28c4138..561b179 100644 --- a/mmath.m4 +++ b/mmath.m4 @@ -2,31 +2,33 @@ dnl -*- html -*- define(__title, `Master of Mathematics')dnl define(__slug, `mmath')dnl include(header.html)dnl +define(__latex, `')dnl

Master of Mathematics

-

I graduated from the University of Waterloo with the degree of -Master of Mathematics in Computer Science in Spring 2020. My research -at the Waterloo Formal Methods -group focused on formal logic, model checking, and verification; under -supervision of -Dr. Nancy A. Day.

+

I graduated from the University of Waterloo with +the degree of Master of Mathematics in Computer Science in Spring +2020. My research at the Waterloo +Formal Methods group focused on formal logic, model checking, and +verification; under supervision of +Dr. Nancy Day.

A Comprehensive Study of Declarative Modelling Languages

- - +dnl +dnl

Jump to: +dnlthesis | +dnlpresentation | +dnlmodels

Thesis

Reference version: pdf | -bib (coming soon)
-LaTeX sources: -zip | tar.gz (coming soon)

+bib
+__latex sources: +tar.gz | +zip

Abstract

@@ -68,12 +70,34 @@ recommendations based on our observations about the differentiating characteristics of each of these languages.

+

License

+ +
+This thesis is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This thesis is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this thesis.  If not, see <https://www.gnu.org/licenses/>.
+
+ +

A copy of the GNU General Public License is available +from gpl-3.0.html, as well as in +the COPYING file included in both of the __latex source +archives linked above.

+

Presentation

Reference version: pdf (coming soon)
-LaTeX sources: -zip | tar.gz (coming soon)

+__latex sources: +tar.gz | zip (coming soon)

This is the presentation I delivered to my supervisor and the second readers of my thesis on Jun 30, 2020, as @@ -83,7 +107,7 @@ on the Cheriton School of Computer Science website.

Models

Reference version: -zip | tar.gz (coming soon)

+tar.gz | zip (coming soon)

define(__copy, `2020')dnl