About: AdaControl

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. Searched elements range from very simple, like the occurrence of certain entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed.

Property	Value
dbo:abstract	AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. Searched elements range from very simple, like the occurrence of certain entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed. (en)
dbo:genre	dbr:Static_code_analysis
dbo:license	dbr:GMGPL
dbo:operatingSystem	dbr:Linux dbr:Mac_OS_X dbr:Microsoft_Windows
dbo:programmingLanguage	dbr:Ada_programming_language
dbo:thumbnail	wiki-commons:Special:FilePath/Adactl_logo.png?width=300
dbo:wikiPageExternalLink	http://www.adalog.fr/en/adacontrol.html%7Csourcearticle=AdaControl%7Cdate=08 https://www.adalog.fr/ https://www.adalog.fr/en/
dbo:wikiPageID	27162122 (xsd:integer)
dbo:wikiPageLength	3701 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1059294697 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Static_program_analysis_tools dbr:GNAT_Programming_Studio dbr:Linux dbr:Mac_OS_X dbr:Ada_Semantic_Interface_Specification dbc:Free_computer_programming_tools dbr:Eurocontrol dbr:Ada_programming_language dbr:Microsoft_Windows dbr:Static_code_analysis dbr:GMGPL
dbp:developer	Adalog (en)
dbp:genre	dbr:Static_code_analysis
dbp:language	English (en)
dbp:license	dbr:GMGPL
dbp:logo	Adactl_logo.png (en)
dbp:name	AdaControl (en)
dbp:operatingSystem	dbr:Linux dbr:Mac_OS_X dbr:Microsoft_Windows
dbp:programmingLanguage	Ada with ASIS (en)
dbp:source	Adalog (en)
dbp:sourcepath	0001-12-08 (xsd:gMonthDay)
dbp:wikiPageUsesTemplate	dbt:In_lang dbt:Infobox_Software dbt:Official_website dbt:Reflist dbt:URL dbt:Dual dbt:Sourceforge
dcterms:subject	dbc:Static_program_analysis_tools dbc:Free_computer_programming_tools
gold:hypernym	dbr:Tool
rdf:type	owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 yago:Abstraction100002137 yago:Code106355894 yago:CodingSystem106353757 yago:Communication100033020 yago:Writing106359877 yago:WrittenCommunication106349220 yago:Software106566077
rdfs:comment	AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. Searched elements range from very simple, like the occurrence of certain entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed. (en)
rdfs:label	AdaControl (en)
owl:sameAs	freebase:AdaControl wikidata:AdaControl https://global.dbpedia.org/id/4KkHD
prov:wasDerivedFrom	wikipedia-en:AdaControl?oldid=1059294697&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Adactl_logo.png
foaf:homepage	http://www.adalog.fr/en/adacontrol.html
foaf:isPrimaryTopicOf	wikipedia-en:AdaControl
foaf:name	AdaControl (en)
is dbo:wikiPageWikiLink of	dbr:List_of_commercial_open-source_applications_and_services dbr:Ada_Semantic_Interface_Specification dbr:List_of_tools_for_static_code_analysis
is foaf:primaryTopic of	wikipedia-en:AdaControl