This HTML5 document contains 74 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n21https://www.adalog.fr/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
n12https://www.adalog.fr/en/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22http://www.adalog.fr/en/
freebasehttp://rdf.freebase.com/ns/
n14http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_commercial_open-source_applications_and_services
dbo:wikiPageWikiLink
dbr:AdaControl
Subject Item
dbr:Ada_Semantic_Interface_Specification
dbo:wikiPageWikiLink
dbr:AdaControl
Subject Item
dbr:AdaControl
rdf:type
yago:Code106355894 wikidata:Q386724 dbo:Work schema:CreativeWork owl:Thing dbo:Software yago:WrittenCommunication106349220 yago:Communication100033020 yago:Writing106359877 wikidata:Q7397 yago:CodingSystem106353757 yago:Abstraction100002137 yago:Software106566077
rdfs:label
AdaControl
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.
foaf:name
AdaControl
foaf:homepage
n22:adacontrol.html
dbp:name
AdaControl
foaf:depiction
n14:Adactl_logo.png
dct:subject
dbc:Free_computer_programming_tools dbc:Static_program_analysis_tools
dbo:wikiPageID
27162122
dbo:wikiPageRevisionID
1059294697
dbo:wikiPageWikiLink
dbr:GMGPL dbr:Ada_programming_language dbc:Free_computer_programming_tools dbr:Eurocontrol dbr:Microsoft_Windows dbr:Static_code_analysis dbr:Linux dbr:GNAT_Programming_Studio dbr:Ada_Semantic_Interface_Specification dbr:Mac_OS_X dbc:Static_program_analysis_tools
dbo:wikiPageExternalLink
n12: n21: n22:adacontrol.html%7Csourcearticle=AdaControl%7Cdate=08
owl:sameAs
freebase:m.0bwhwns wikidata:Q4678212 n19:4KkHD
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Dual dbt:In_lang dbt:Infobox_Software dbt:Official_website dbt:URL dbt:Sourceforge
dbo:thumbnail
n14:Adactl_logo.png?width=300
dbp:sourcepath
0001-12-08
dbp:developer
Adalog
dbp:genre
dbr:Static_code_analysis
dbp:language
English
dbp:license
dbr:GMGPL
dbp:logo
Adactl_logo.png
dbp:operatingSystem
dbr:Mac_OS_X dbr:Linux dbr:Microsoft_Windows
dbp:programmingLanguage
Ada with ASIS
dbp:source
Adalog
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.
gold:hypernym
dbr:Tool
prov:wasDerivedFrom
wikipedia-en:AdaControl?oldid=1059294697&ns=0
dbo:wikiPageLength
3701
dbo:genre
dbr:Static_code_analysis
dbo:license
dbr:GMGPL
dbo:operatingSystem
dbr:Mac_OS_X dbr:Microsoft_Windows dbr:Linux
dbo:programmingLanguage
dbr:Ada_programming_language
foaf:isPrimaryTopicOf
wikipedia-en:AdaControl
Subject Item
dbr:List_of_tools_for_static_code_analysis
dbo:wikiPageWikiLink
dbr:AdaControl
Subject Item
wikipedia-en:AdaControl
foaf:primaryTopic
dbr:AdaControl