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