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}
}
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