CrocoPat 2.1 Introduction and Reference Manual
Abstract
CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2004
- DOI:
- 10.48550/arXiv.cs/0409009
- arXiv:
- arXiv:cs/0409009
- Bibcode:
- 2004cs........9009B
- Keywords:
-
- Computer Science - Programming Languages;
- Computer Science - Discrete Mathematics;
- Computer Science - Data Structures and Algorithms;
- Computer Science - Software Engineering;
- D.1.6;
- G.2.2.a;
- E.1.d;
- D.2.7m
- E-Print:
- 19 pages + cover, 2 eps figures, uses llncs.cls and cs_techrpt_cover.sty, for downloading the source code, binaries, and RML examples, see http://www.software-systemtechnik.de/CrocoPat/