Daikon 4.2.12


Daikon is an implementation of dynamic detection of likely invariants
Developer:   Michael Ernst
      more software by author →
Price:  0.00
License:   Open Software License
File size:   3616K
Language:   
OS:   
Rating:   0 /5 (0 votes)
Your vote:  
enlarge screenshot


Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by
tags

Download Daikon 4.2.12


 http://pag.csail.mit.edu/daikon/download/daikon.jar
 http://pag.csail.mit.edu/daikon/download/daikon.tar.gz


Authors software

Daikon 4.2.12 (by Michael Ernst)
Daikon is an implementation of dynamic detection of likely invariants


Similar software

Daikon 4.2.12 (by Michael Ernst)
Daikon is an implementation of dynamic detection of likely invariants

Template::Tutorial 2.15 (by Andy Wardley)
Template::Tutorial are template toolkit tutorials.

This section includes tutorials on using the Template Toolkit

MathML::Entities 0.13 (by Jacques Distler)
MathML::Entities is a Perl module that can convert XHTML+MathML Named Entities to Numeric Character References.

SYNOPSIS

use M

Property Management Software 1.18 (by Web-Tool)

Apache::MP3::Sorted 4.00 (by Tim Ayers)
Apache::MP3::Sorted is a Perl module to generate sorted streamable directories of MP3 files.

SYNOPSIS

# httpd.conf or srm.conf

Dynamic Taste Detection for XMMS 20020303 (by Walles)
Dynamic Taste Detection patch makes XMMS adapt its playlist randomization function to your personal taste.

Songs you don't like en

Glib Binding Properties 0.9.1 (by Extreme Code Software)
Glib Binding Properties library adds an implementation of binding properties to GLib / GTK+ library (it also includes Ada 95 for GtkA

Swift-Generator 0.20.5 (by Olivier Debon)
Swift-Generator is a Dynamic Flash Content generator

DOM Menu 0.3.2 (by Dan Allen)
DOM Menu allows developers to add dynamic, hierarchical popup menus on their web pages

Dynamic MP3 Lister (by Benjamin Kuz)


Other software in this category

RPL/2 4.00-pre8r (by Jo?l BERTRAND)
RPL/2 is a special language, and could be the strange child of forbidden love between Lisp and Forth

HartMath 0.8 pre2 (by jsurfer)

Robsort Sorting Algorithm 1.0 (by Robert Thompson)
Robsort in a GNU public license sorting algorithm devleloped by Robert Thompson

DJFractal 1.2 (by eipi)
DJFractal is yet another Fractal Generator which uses Mandala to distribute fractal datas to fractal computers

FrAid 1.4 (by Ivaylo Iliev)
· An interface to the Java programming language

- interfaces Java with a small programming language (same name, FrAid) so mathemat

    search


Featured Software

jEdit 4.3 pre8
jEdit is an Open Source text editor written in Java

Opera 9.02
Surf the Internet in a safer, faster, and easier way with Opera browser

GNU Aspell 0.60.4
GNU Aspell is a Free and Open Source spell checker designed to eventually replace Ispell


Subscribe in Rojo
Google Reader
Add to My Yahoo!

Add to My AOL
Subscribe with Bloglines
Subscribe in NewsGator Online
Add 'nixbit linux software' to Newsburst from CNET News.com
del.icio.us nixbit linux software


Top tags