descriptionThe equivalence problem in algebraic models of programs (some results) (in Russian)
repository URLhttps://gitorious.org/algebraic-prog-equiv/mainline.git
ownerimz@altlinux.org
last changeTue, 24 Mar 2009 01:00:39 +0000 (24 04:00 +0300)
last refreshSun, 19 Nov 2017 06:17:52 +0000 (19 07:17 +0100)
content tags
add:
readme

This is my (Ivan Zakharyaschev's) specialist (≈ masters) diploma thesis (in Russian, in the mathematical theory of program analysis):

``The equivalence problem in the models of programs with partially commutative and monotone operators'' (supervisor: Dr. V.A. Zakharov).

Probably, I'll add the sources of more papers of mine on this topic to this repository.

If you'd like something in English, there is an earlier article on this topic in English written together with my supervisor, which presents some of the results of the thesis (a refereed one from conference proceedings): "On the equivalence-checking problem for a model of programs related with multi-tape automata" (DOI).

In the diploma thesis, I didn't concentrate solely on the new results, and in some parts of it, a lot of space is taken up by a kind of introduction to existing theories. (Now I believe that writing in this genre is perhaps not the good way to report new results, but on the other side, writing this way helps understanding the reasons/intuitions behind the formal things.) So becuase of this it perhaps can be reworked into an introduction text on this topic. (So, you could take it and do it.)

I publish it under the terms of GFDL-1.3 or CC-by-SA-3.0 (your choice) for now, except for the included used LaTeX style files taken from elsewhere. (You can ask me personally for other conditions, of course.)

There is a mirror at Gitorious (with a different interface).

shortlog
2009-03-24 Ivan ZakharyaschevFinal preparations (or afterwards?).master@dell/master@etik/mastershown-for-TYa
2009-03-24 Ivan ZakharyaschevAdditions to the style file while preparing the work...
2009-03-24 Ivan ZakharyaschevMerging the final RCS state of a file.
2009-03-24 Ivan ZakharyaschevMerging the final RCS state of a file.
2009-03-24 Ivan ZakharyaschevMerging the final RCS state of a file.
2009-03-23 Ivan ZakharyaschevRegistered all other available (in a sense, initial...
2009-03-23 Ivan ZakharyaschevThere won't be any need in the Authors file in the...
2009-03-23 Ivan ZakharyaschevThe Authors file that has been used for reading RCS...
2009-03-17 Ivan ZakharyaschevMerged initial RCS states with the help of /home/ivan... RCS-all-init
2009-03-17 Ivan ZakharyaschevInitial revision
2005-10-07 Ivan Zakharyaschevcopied for Russian variant
2005-07-25 Ivan ZakharyaschevInitial revision
2005-06-03 Ivan Zakharyaschevtypo
2005-06-03 Ivan ZakharyaschevInitial revision
2005-05-31 Ivan ZakharyaschevInitial revision
2005-05-26 Ivan ZakharyaschevInitial revision
...
tags
8 years ago shown-for-TYa
8 years ago RCS-all-init
heads
8 years ago view/shown-for-TYa
8 years ago view/for-presentation-later
8 years ago view/for-presentation-early
8 years ago master