CrocoPat 2.1 Introduction and Reference Manual

dc.creatorBeyer, Dirk
dc.creatorNoack, Andreas
dc.date2004-09-07
dc.date.accessioned2026-07-07T03:21:45Z
dc.date.available2026-07-07T03:21:45Z
dc.descriptionCrocoPat 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.
dc.description19 pages + cover, 2 eps figures, uses llncs.cls and cs_techrpt_cover.sty, for downloading the source code, binaries, and RML examples, see http://www.software-systemtechnik.de/CrocoPat/
dc.identifierhttps://arxiv.org/abs/cs/0409009
dc.identifierhttp://arxiv.org/abs/cs/0409009
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32325
dc.subjectProgramming Languages
dc.subjectDiscrete Mathematics
dc.subjectData Structures and Algorithms
dc.subjectSoftware Engineering
dc.subjectD.1.6; G.2.2.a; E.1.d; D.2.7m
dc.titleCrocoPat 2.1 Introduction and Reference Manual
dc.typetext

Files

Collections