Daikon is a computer program that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the program. It is mainly usedfor debugging programs in late development, or checking modifications to existing code. Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software
| Property | Value |
|---|
| dbpprop:abstract
|
- Daikon is a computer program that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the program. It is mainly usedfor debugging programs in late development, or checking modifications to existing code. Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software
|
| dbpprop:hasPhotoCollection
| |
| rdfs:comment
|
- Daikon is a computer program that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the program. It is mainly usedfor debugging programs in late development, or checking modifications to existing code. Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:homepage
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
