Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Fluctuat> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Fluctuat abstract "Fluctuat has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives since 2001. Fluctuat enables the static analysis of C and Ada programs, with a special focus on floating-point operations.".
- Fluctuat developer French_Alternative_Energies_and_Atomic_Energy_Commission.
- Fluctuat genre Formal_verification.
- Fluctuat genre Static_program_analysis.
- Fluctuat operatingSystem FreeBSD.
- Fluctuat operatingSystem Linux.
- Fluctuat operatingSystem Microsoft_Windows.
- Fluctuat operatingSystem OS_X.
- Fluctuat programmingLanguage C++.
- Fluctuat wikiPageExternalLink fluctuat.html.
- Fluctuat wikiPageID "37783770".
- Fluctuat wikiPageLength "3410".
- Fluctuat wikiPageOutDegree "25".
- Fluctuat wikiPageRevisionID "680975768".
- Fluctuat wikiPageWikiLink Abstract_interpretation.
- Fluctuat wikiPageWikiLink Ada_(programming_language).
- Fluctuat wikiPageWikiLink Astrée_(static_analysis).
- Fluctuat wikiPageWikiLink Best,_worst_and_average_case.
- Fluctuat wikiPageWikiLink C++.
- Fluctuat wikiPageWikiLink C_(programming_language).
- Fluctuat wikiPageWikiLink Category:Formal_methods_tools.
- Fluctuat wikiPageWikiLink Category:Software_testing_tools.
- Fluctuat wikiPageWikiLink Category:Static_program_analysis_tools.
- Fluctuat wikiPageWikiLink Formal_verification.
- Fluctuat wikiPageWikiLink FreeBSD.
- Fluctuat wikiPageWikiLink French_Alternative_Energies_and_Atomic_Energy_Commission.
- Fluctuat wikiPageWikiLink Hybrid_system.
- Fluctuat wikiPageWikiLink Linux.
- Fluctuat wikiPageWikiLink List_of_tools_for_static_code_analysis.
- Fluctuat wikiPageWikiLink Microsoft_Windows.
- Fluctuat wikiPageWikiLink OS_X.
- Fluctuat wikiPageWikiLink Polyspace.
- Fluctuat wikiPageWikiLink Sensitivity_analysis.
- Fluctuat wikiPageWikiLink Static_analysis.
- Fluctuat wikiPageWikiLink Static_program_analysis.
- Fluctuat wikiPageWikiLink Zonohedron.
- Fluctuat wikiPageWikiLinkText "Fluctuat".
- Fluctuat developer French_Alternative_Energies_and_Atomic_Energy_Commission.
- Fluctuat genre Formal_verification.
- Fluctuat genre Static_program_analysis.
- Fluctuat language "English".
- Fluctuat license "Commercial".
- Fluctuat name "Fluctuat".
- Fluctuat operatingSystem FreeBSD.
- Fluctuat operatingSystem Linux.
- Fluctuat operatingSystem Microsoft_Windows.
- Fluctuat operatingSystem OS_X.
- Fluctuat programmingLanguage C++.
- Fluctuat website fluctuat.html.
- Fluctuat wikiPageUsesTemplate Template:Infobox_Software.
- Fluctuat wikiPageUsesTemplate Template:Reflist.
- Fluctuat wikiPageUsesTemplate Template:Technical.
- Fluctuat subject Category:Formal_methods_tools.
- Fluctuat subject Category:Software_testing_tools.
- Fluctuat subject Category:Static_program_analysis_tools.
- Fluctuat type Software.
- Fluctuat type Work.
- Fluctuat type Method.
- Fluctuat type Tool.
- Fluctuat type CreativeWork.
- Fluctuat type Thing.
- Fluctuat type Q386724.
- Fluctuat type Q7397.
- Fluctuat comment "Fluctuat has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives since 2001. Fluctuat enables the static analysis of C and Ada programs, with a special focus on floating-point operations.".
- Fluctuat label "Fluctuat".
- Fluctuat sameAs Q5462617.
- Fluctuat sameAs m.0nhh27z.
- Fluctuat sameAs Q5462617.
- Fluctuat wasDerivedFrom Fluctuat?oldid=680975768.
- Fluctuat homepage fluctuat.html.
- Fluctuat isPrimaryTopicOf Fluctuat.
- Fluctuat name "Fluctuat".