CrocoPat 2.1 Introduction and Reference Manual

Dirk Beyer and Andreas Noack

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-04-1338
July 2004

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/CSD-04-1338.pdf

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.


BibTeX citation:

@techreport{Beyer:CSD-04-1338,
    Author = {Beyer, Dirk and Noack, Andreas},
    Title = {CrocoPat 2.1 Introduction and Reference Manual},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2004},
    Month = {Jul},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/5469.html},
    Number = {UCB/CSD-04-1338},
    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.}
}

EndNote citation:

%0 Report
%A Beyer, Dirk
%A Noack, Andreas
%T CrocoPat 2.1 Introduction and Reference Manual
%I EECS Department, University of California, Berkeley
%D 2004
%@ UCB/CSD-04-1338
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/5469.html
%F Beyer:CSD-04-1338