This HTML5 document contains 94 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/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19http://portal.acm.org/
n21https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-nohttp://no.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Euclid_(programming_language)
rdf:type
owl:Thing yago:ArtificialLanguage106894544 dbo:VideoGame yago:Abstraction100002137 schema:Language wikidata:Q315 yago:ProgrammingLanguage106898352 wikidata:Q9143 dbo:Language dbo:ProgrammingLanguage yago:Language106282651 yago:Communication100033020 yago:WikicatProgrammingLanguagesCreatedInThe1970s
rdfs:label
Euclid (programming language)
rdfs:comment
Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid-1970s. The implementation was led by Ric Holt at the University of Toronto and James Cordy was the principal programmer for the first implementation of the compiler. It was originally designed for the Motorola 6809 microprocessor. It was considered innovative for the time; the compiler development team had a $2 million budget over 2 years and was commissioned by the Defense Advanced Research Projects Agency of the U.S. Department of Defense and the Canadian Department of National Defence. It was used for a few years at I. P. Sharp Associates, MITRE Corporation, SRI International and various other international institutes for researc
foaf:name
Euclid
dbp:name
Euclid
dcterms:subject
dbc:Procedural_programming_languages dbc:Statically_typed_programming_languages dbc:Systems_programming_languages dbc:Programming_languages_created_in_the_1970s
dbo:wikiPageID
827385
dbo:wikiPageRevisionID
817164261
dbo:wikiPageWikiLink
dbr:Ric_Holt dbr:Butler_Lampson dbr:Pascal_(programming_language) dbr:SRI_International dbr:Xerox_PARC dbr:Concurrent_Euclid_programming_language dbr:James_Cordy dbr:I._P._Sharp_Associates dbr:Mesa_(programming_language) dbc:Procedural_programming_languages dbr:Structured_programming dbr:Multi-paradigm_programming_language dbr:Formal_verification dbc:Statically_typed_programming_languages dbr:Strong_typing dbr:Defense_Advanced_Research_Projects_Agency dbr:Turing_programming_language dbr:GOTO dbr:United_States_Department_of_Defense dbr:Concurrent_Euclid_(programming_language) dbr:MITRE dbr:Functional_programming dbr:Mesa_programming_language dbc:Systems_programming_languages dbr:Motorola_6809 dbr:Department_of_National_Defence_(Canada) dbr:Imperative_programming dbr:Turing_(programming_language) dbr:Static_typing dbr:Nested_function dbr:Pascal_programming_language dbr:University_of_Toronto dbr:Compiler dbc:Programming_languages_created_in_the_1970s
dbo:wikiPageExternalLink
n19:citation.cfm%3Fid=802513 n19:citation.cfm%3Fid=804077 n19:citation.cfm%3Fid=954666.971189
owl:sameAs
dbpedia-mk:Euclid_(програмски_јазик) freebase:m.03fbrg yago-res:Euclid_(programming_language) wikidata:Q5406088 n21:4jkaW dbpedia-no:Euclid_(programmeringsspråk)
dbp:wikiPageUsesTemplate
dbt:Infobox_programming_language
dbp:designer
dbr:Xerox_PARC dbr:Butler_Lampson
dbp:developer
Ric Holt and James Cordy
dbp:influenced
dbr:Turing_(programming_language) dbr:Mesa_(programming_language) dbr:Concurrent_Euclid_(programming_language)
dbp:influencedBy
dbr:Pascal_(programming_language)
dbp:paradigm
dbr:Structured_programming dbr:Functional_programming dbr:Multi-paradigm_programming_language dbr:Imperative_programming
dbp:typing
dbr:Strong_typing dbr:Static_typing
dbp:year
1970.0
dbo:abstract
Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid-1970s. The implementation was led by Ric Holt at the University of Toronto and James Cordy was the principal programmer for the first implementation of the compiler. It was originally designed for the Motorola 6809 microprocessor. It was considered innovative for the time; the compiler development team had a $2 million budget over 2 years and was commissioned by the Defense Advanced Research Projects Agency of the U.S. Department of Defense and the Canadian Department of National Defence. It was used for a few years at I. P. Sharp Associates, MITRE Corporation, SRI International and various other international institutes for research in systems programming and secure software systems. Euclid is descended from the Pascal programming language. Functions in Euclid are closed scopes, may not have side effects, and must explicitly declare imports. Euclid also disallows gotos, floating point numbers, global assignments, nested functions and aliases, and none of the actual parameters to a function can refer to the same thing. Euclid implements modules as types. Descendants of Euclid include the Mesa programming language, the Concurrent Euclid programming language and the Turing programming language.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Euclid_(programming_language)?oldid=817164261&ns=0
dbo:wikiPageLength
3328
dbo:designer
dbr:Xerox_PARC dbr:Butler_Lampson
dbo:developer
dbr:Ric_Holt dbr:James_Cordy
dbo:influenced
dbr:Turing_(programming_language) dbr:Concurrent_Euclid_(programming_language) dbr:Mesa_(programming_language)
dbo:influencedBy
dbr:Pascal_(programming_language)
foaf:isPrimaryTopicOf
wikipedia-en:Euclid_(programming_language)