Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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://www.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://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2004/5469.html
%F Beyer:CSD-04-1338