About: Extended ML

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Which is actually a specification language, and

Property	Value
dbo:description	linguaxe de programación (gl) which is actually a specification language, and (en)
dbo:developer	dbr:University_of_Edinburgh
dbo:influencedBy	dbr:Standard_ML dbr:ML_(programming_language)
dbo:latestReleaseVersion	1.1
dbo:wikiPageExternalLink	http://homepages.inf.ed.ac.uk/dts/eml/
dbo:wikiPageWikiLink	dbr:Axiomatic_semantics dbc:ML_programming_language_family dbr:Standard_ML dbr:Formal_specification dbr:Formal_methods dbc:Programming_languages_created_in_the_1980s dbr:Don_Sannella dbr:Wide-spectrum_language dbr:Specification_language dbr:Theoretical_Computer_Science_(journal) dbc:Formal_specification_languages dbr:ML_(programming_language) dbr:Extensible_ML dbr:Extensible_Markup_Language dbr:Program_verification dbr:Program_specification dbr:Andrzej_Tarlecki
dbp:designers	A. Tarlecki (en) S. Kahrs, D. Sannella, (en)
dbp:developer	dbr:University_of_Edinburgh
dbp:discontinued	Yes (en)
dbp:family	dbr:Standard_ML dbr:ML_(programming_language)
dbp:influencedBy	dbr:Standard_ML dbr:ML_(programming_language)
dbp:latestReleaseVersion	1.100000 (xsd:double)
dbp:name	Extended ML (en)
dbp:operatingSystem	dbr:Linux dbr:Cross-platform_software dbr:Oracle_Solaris
dbp:paradigms	dbr:Functional_programming dbr:Imperative_programming dbr:Programming_paradigm dbr:Modular_programming
dbp:platform	dbr:SPARC dbr:IA-32
dbp:typing	dbr:Strong_and_weak_typing dbr:Type_system dbr:Type_inference
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Start_date_and_age dbt:Reflist dbt:Cite_journal dbt:URL dbt:Infobox_programming_language dbt:Notability dbt:Official_website dbt:ML_programming dbt:Prog-lang-stub dbt:Cite_report
dct:subject	dbc:ML_programming_language_family dbc:Programming_languages_created_in_1985 dbc:1985_software dbc:High-level_programming_languages dbc:Formal_specification_languages
gold:hypernym	dbr:Language
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage dbo:ProgrammingLanguage schema:Language
rdfs:label	Extended ML (en) Extended ML (es)
owl:sameAs	freebase:Extended ML yago-res:Extended ML wikidata:Extended ML dbpedia-es:Extended ML dbpedia-gl:Extended ML dbpedia-global:Extended ML dbr:Extended ML
prov:wasDerivedFrom	wikipedia-en:Extended_ML?oldid=1260200984&ns=0
foaf:homepage	http://homepages.inf.ed.ac.uk/dts/eml
foaf:isPrimaryTopicOf	wikipedia-en:Extended_ML
foaf:name	Extended ML (en)
is dbo:wikiPageRedirects of	dbr:Extended_ML_(programming_language) dbr:Extended_ML_programming_language
is dbo:wikiPageWikiLink of	dbr:Standard_ML_of_New_Jersey dbr:Wide-spectrum_language dbr:EML_programming_language dbr:Extended_ML_(programming_language) dbr:Extended_ML_programming_language
is foaf:primaryTopic of	wikipedia-en:Extended_ML