About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review
  • License: Freeware
  • Last update: 7 years ago
  • Total downloads: 152
  • Price: Free |
  • Operating system: Linux, Mac OS X, Win All, BSD, Solaris
  • Publisher: Dirk Beyer (1 other programs)
See full specifications

scripts default iconCrocoPat Publisher's description

CrocoPat manipulates relations of any arity, including graphs (which are binary relations).

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.
The implementation is based on the data structure binary decision diagram (BDD), which is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is easy to integrate with other tools because it reads and writes relations from and to files in a simple tuple format.
Many structural analyses of software systems can be formalized as relational queries, for example the detection of design patterns, of patterns of problematic design, of code clones, of dead code, and of differences between the as-built and the as-designed architecture.
Through its efficiency and its expressive language, CrocoPat enables practically important analyses of real-world software systems that are not possible with other graph analysis tools, in particular analyses that involve transitive closures and the detection of patterns in graphs.

System Requirements:

No special requirements.
Program Release Status:
Program Install Support: Install Only

Is CrocoPat your software?

Manage your software

Most Popular

scripts default icon MBOT 5.2.0
MBOT application is an IRC bot coded in C .
scripts default icon Webalizer (Scripts) 2.23-03
The Webalizer is a fast, free web server log file analysis program.
scripts default icon OpenGl 3D 1.1
OpenGl 3D it! can generate 3D surface and terrain from a video source with image processing technique.
scripts default icon Weechat 0.2.4
Weechat is a modern IRC client, based on a text interface.
scripts default icon A Win Chat 1.1
A Win Chat is a chat program that works over the internet and LAN.