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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
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_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:Alphard_(programming_language)
Subject Item
dbr:Alphard_programming_language
dbo:wikiPageWikiLink
dbr:Alphard_(programming_language)
dbo:wikiPageRedirects
dbr:Alphard_(programming_language)
Subject Item
dbr:CLU_(programming_language)
dbo:wikiPageWikiLink
dbr:Alphard_(programming_language)
dbp:influencedBy
dbr:Alphard_(programming_language)
dbo:influencedBy
dbr:Alphard_(programming_language)
Subject Item
dbr:Alphard_(programming_language)
rdf:type
wikidata:Q315 wikidata:Q9143 schema:Language owl:Thing dbo:Language dbo:ProgrammingLanguage
rdfs:label
Alphard (programming language)
rdfs:comment
Alphard is a Pascal-like programming language for data abstraction and verification, proposed and designed by William A. Wulf, Ralph L. London, and Mary Shaw. The language was the subject of several research publications in the late 1970s, but was never implemented. Its main innovative feature was the introduction of the 'form' datatype, which combines a specification and a procedural (executable) implementation. It also took the generator from IPL-V, as well as the mapping functions from Lisp and made it general case.
dcterms:subject
dbc:Pascal_(programming_language) dbc:Experimental_programming_languages
dbo:wikiPageID
2789750
dbo:wikiPageRevisionID
1075856661
dbo:wikiPageWikiLink
dbc:Experimental_programming_languages dbc:Pascal_(programming_language) dbr:Abstraction_(computer_science) dbr:Programming_language dbr:IPL-V dbr:Formal_verification dbr:Implementation dbr:Generator_(computer_science) dbr:Lisp_(programming_language) dbr:Functional_specification dbr:William_A._Wulf dbr:Mary_Shaw_(computer_scientist) dbr:Pascal_(programming_language) dbr:Datatype
owl:sameAs
wikidata:Q4735267 n15:4PW6G freebase:m.082tzd
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:Reflist dbt:Compu-lang-stub dbt:Cite_book
dbo:abstract
Alphard is a Pascal-like programming language for data abstraction and verification, proposed and designed by William A. Wulf, Ralph L. London, and Mary Shaw. The language was the subject of several research publications in the late 1970s, but was never implemented. Its main innovative feature was the introduction of the 'form' datatype, which combines a specification and a procedural (executable) implementation. It also took the generator from IPL-V, as well as the mapping functions from Lisp and made it general case.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Alphard_(programming_language)?oldid=1075856661&ns=0
dbo:wikiPageLength
2193
foaf:isPrimaryTopicOf
wikipedia-en:Alphard_(programming_language)
Subject Item
dbr:ALPHARD
dbo:wikiPageWikiLink
dbr:Alphard_(programming_language)
dbo:wikiPageRedirects
dbr:Alphard_(programming_language)
Subject Item
wikipedia-en:Alphard_(programming_language)
foaf:primaryTopic
dbr:Alphard_(programming_language)