CrocoPat
Details
| Last Update: | 2008-02-13 11:02:13 |
| Version: | 2.1.3 |
| License/Program Type: | GPL (GNU General Public License) |
| Publisher: | Dirk Beyer |
| Price: | $0.00 |
Description:
CrocoPat is a tool for simple and efficient relational
computation.
Relational computation.
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.
Comprehension and assessment of large software
systems.
Many structural analyzes 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 analyzes of
real-world software systems that are not possible with other graph
analysis tools, in particular analyzes that involve transitive
closures and the detection of patterns in graphs.
High level BDD package.
While standard BDD packages provide operations for manipulating
relations over bits, the CrocoPat library allows the manipulation
of relations over strings. It relieves programmers of mapping
strings to binary encodings and user variables to BDD
variables.
What's New in This Release:
· Only maintenance activities (make it available for
MacOS, bug fixes).
0 comments
Add to
CrocoPat Version History
Related Software
|
|
From category: Mathematics |
| FuncPlotter 1.4 is mathematics software developed by FuncPlotter. FuncPlotter is a combined Java application and applet for displaying two-dimensional plots of explicit functions in one variable (i... |
|
|
From category: Mathematics |
| Alana 1.0 is mathematics software developed by Markus Triska. A highly responsive Turing machine simulator written in Tcl/Tk. Contains many examples (unary and binary addition, subtraction, multipl... |
|
|
From category: Electronic-Design-Automation |
| Electronic Engineering Tool 0.4.1 is electronic design automation ( software developed by baxeno. A very usefull tool when working with electronics, from amature to engineer, ex. Converter: Fahrenh... |
|
|
From category: Electronic-Design-Automation |
| Confluence System Design Language 0.10.4 is electronic design automation ( software developed by Tom Hawkins. Confluence is a language for synchronous reactive system design. A Confluence program c... |
|
|
From category: Mathematics |
| Calcc 0.1.1a is mathematics software developed by Luigi Auriemma. Calcc is a useful command-line calculator (32/64 bit numbers) which supports multiple input and output formats (hex, decimal, octal... |
|
|
From category: Geographical |
| Earth3D 1.0.5 is geographical software developed by Dominique Andre Gunia. Earth3D is a program that visualizes the earth in realtime in a 3D view. Earth3D uses data from NASA, USGS, the CIA and th... |
|
|
From category: Mathematics |
| FreeMat 2.0 is mathematics software developed by Samit Basu. FreeMat is a free environment for rapid engineering and scientific prototyping and data processing. FreeMat project is similar to commer... |
|
|
From category: Astronomy |
| Celestia 1.4.1 is astronomy software developed by Chris Laurel. Celestia is a free real-time space simulation that lets you experience our universe in three dimensions. Unlike most planetarium s... |
|
|
From category: Visualization |
| Cassandra 2.1 is visualization software developed by Artenum. Cassandra is a VTK/Java based 3D Scientific Data Viewer. Cassandra is a modular and advanced 3D scientific data viewer. Cassandr... |
|
|
From category: Image-Recognition |
| ADS Dexter 0.40 is image recognition software developed by Markus Demleitner. The following is an excerpt from a poster presented at the American Astronomical Society\'s 2000 Summer meeting in Roch... |
|
|
From category: Chemistry |
| Chemsuite 0.0.7 is chemistry software developed by Ricardo Stefani. Chemsuite is a set of programs designed for the processing of chemical information on Linux/X11. It is free software and released... |
|
|
From category: Visualization |
| Cvtool is a general-purpose computer vision tool.... |
|
|
From category: Mathematics |
| mpmath is a replacement for Python\'s float/complex types and math/cmath modules with unlimited precision and exponent sizes.... |
|
|
From category: Medical-Science-Apps |
| Mirth is a cross-platform HL7 interface engine that enables bi-directional sending of HL7 messages.... |
|
|
From category: Neuroscience |
| Conexus 0.2 is neuroscience software developed by Ijtrotts. The goal of the Conexus project is to build a graphical database of neuroanatomical connections, focussing on thalamo-cortical and cortic... |
Leave a comment