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