The homepage for
TituRel
as of April 6, 2014
TituRel is a software system to work with relations.
It offers various tools written in the functional programming language Haskell allowing to
- input/output relations from/to several forms of delivery
- formulate relational terms to be applied to such relations in a newly developed multilevel
relational reference language
- analyze relations, decompose, permute, and partition them so as to obtain better information
- support proofs of relation-algebraic theorems with transformation capabilities and TeX printing
- switch between point-free form and component form with system support
- generate programs for the RelView system
All this emerged along years of research on relations and relation algebra as documented
with the book
Relational Mathematics
and its addendum
Relational Mathematics Continued .
Early preparations have been made with
RelLangHomePage
and
JoRMiCSRevision.
One will identify some hints on TituRel in the
transparencies
of a talk.
Results obtained with TituRel may be found in several publications:
The system TituRel runs under one of the following acronym interpretations
- This is the ultimate relation system
- Towards improved techniques using relations
- Teaching informaticians to use relations
- Try it, to use relations
- Toolkit intended to use relations
- Testing innovative tools using relations
- Think innovative - try using relations
More about TituRel from different sources:
Impressum:
Prof. Dr. Gunther Schmidt (retired)
Institut für Softwaretechnologie
Universität der Bundeswehr München
85577 Neubiberg, Germany
Homepage
