Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
Vue Injector 3.3
Spectrum Analyzer pro Live 2019
Devart Excel Add-in for HubSpot 2.1
RentALLScript - Airbnb clone 2.2
SuiteCRM Theme Customization 7.11.6
iScripts NetMenus 3.1
iScripts EasyIndex 2.2
iScripts EasySnaps 2.0
Australia MyPost shipping For Magento 2 1.0.0
Australia Post eParcel For Magento 1.1.1
Source Control for SQL Server 2.0
Answers phpSoftPro 3.12
Exlcart 2.0
School College ERP 1.3.2
White-label Grocery Delivery App Solution 2.0
Top Code
iScripts EasySnaps 1
iScripts NetMenus 2.0
iScripts EasyIndex 1
ATN Site Builder 3.0
IcrediBB Bulletin Board System 1.0
ATN Resume Finder 2.0
Azizi search engine script PHP 4.1.10
phpEnter 5.1.
PHP Review Script 1.0
School College ERP 1.3.2
ICPennyBid Penny Auction Script 4.0
Paste phpSoftPro 1.4.1
Single Leg MLM 1.2.1
Invoice Manager by PHPJabbers 3.0
Source Control for SQL Server 2.0
Top Rated
phpEnter 5.1.
Quick Maps For Dynamics CRM 3.1
Single Leg MLM 1.2.1
Azizi search engine script PHP 4.1.10
Paste phpSoftPro 1.4.1
Extreme Injector 3.7
Deals and Discounts Website Script 1.0.2
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
Invoice Manager by PHPJabbers 3.0
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
ATN Site Builder 3.0
CrocoPat 2.1
File ID: 76053






CrocoPat 2.1
Download CrocoPat 2.1http://mtc.epfl.ch/Report Error Link
License: Freeware
File Size: 3.7 MB
Downloads: 26
Submit Rating:
CrocoPat 2.1 Description
Description: 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.

License: Freeware

Related: relations, crocopat, Patterns, Analyses, Based, Detection, Tools, Design, Language, expressive, Binary, Software, Simple, Systems, Graphs, problematic, clones, differences, CrocoPat 2 1

O/S:BSD, Linux, Solaris, Mac OS X

File Size: 3.7 MB

Downloads: 26



User Review for CrocoPat
- required fields
     

Please enter text on the image