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
2004
This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/Archive/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},
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