Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Euclid_(programming_language)> ?p ?o }
Showing triples 1 to 100 of
100
with 100 triples per page.
- Euclid_(programming_language) 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.".
- Euclid_(programming_language) designer Butler_Lampson.
- Euclid_(programming_language) designer PARC_(company).
- Euclid_(programming_language) developer James_Cordy.
- Euclid_(programming_language) developer Ric_Holt.
- Euclid_(programming_language) influenced Concurrent_Euclid.
- Euclid_(programming_language) influenced Mesa_(programming_language).
- Euclid_(programming_language) influenced Turing_(programming_language).
- Euclid_(programming_language) influencedBy Pascal_(programming_language).
- Euclid_(programming_language) wikiPageExternalLink citation.cfm?id=802513.
- Euclid_(programming_language) wikiPageExternalLink citation.cfm?id=804077.
- Euclid_(programming_language) wikiPageExternalLink citation.cfm?id=954666.971189.
- Euclid_(programming_language) wikiPageID "827385".
- Euclid_(programming_language) wikiPageLength "3233".
- Euclid_(programming_language) wikiPageOutDegree "36".
- Euclid_(programming_language) wikiPageRevisionID "550080609".
- Euclid_(programming_language) wikiPageWikiLink Butler_Lampson.
- Euclid_(programming_language) wikiPageWikiLink Category:Procedural_programming_languages.
- Euclid_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_the_1970s.
- Euclid_(programming_language) wikiPageWikiLink Compiler.
- Euclid_(programming_language) wikiPageWikiLink Concurrent_Euclid.
- Euclid_(programming_language) wikiPageWikiLink Concurrent_Euclid_(programming_language).
- Euclid_(programming_language) wikiPageWikiLink Concurrent_Euclid_programming_language.
- Euclid_(programming_language) wikiPageWikiLink DARPA.
- Euclid_(programming_language) wikiPageWikiLink Defense_Advanced_Research_Projects_Agency.
- Euclid_(programming_language) wikiPageWikiLink Department_of_National_Defence_(Canada).
- Euclid_(programming_language) wikiPageWikiLink Formal_verification.
- Euclid_(programming_language) wikiPageWikiLink Functional_programming.
- Euclid_(programming_language) wikiPageWikiLink GOTO.
- Euclid_(programming_language) wikiPageWikiLink Goto.
- Euclid_(programming_language) wikiPageWikiLink I._P._Sharp_Associates.
- Euclid_(programming_language) wikiPageWikiLink Imperative_programming.
- Euclid_(programming_language) wikiPageWikiLink James_Cordy.
- Euclid_(programming_language) wikiPageWikiLink MITRE.
- Euclid_(programming_language) wikiPageWikiLink Mesa_(programming_language).
- Euclid_(programming_language) wikiPageWikiLink Mesa_programming_language.
- Euclid_(programming_language) wikiPageWikiLink Mitre_Corporation.
- Euclid_(programming_language) wikiPageWikiLink Motorola_6809.
- Euclid_(programming_language) wikiPageWikiLink Multi-paradigm_programming_language.
- Euclid_(programming_language) wikiPageWikiLink Nested_function.
- Euclid_(programming_language) wikiPageWikiLink PARC_(company).
- Euclid_(programming_language) wikiPageWikiLink Pascal_(programming_language).
- Euclid_(programming_language) wikiPageWikiLink Pascal_programming_language.
- Euclid_(programming_language) wikiPageWikiLink Programming_paradigm.
- Euclid_(programming_language) wikiPageWikiLink Ric_Holt.
- Euclid_(programming_language) wikiPageWikiLink SRI_International.
- Euclid_(programming_language) wikiPageWikiLink Static_typing.
- Euclid_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- Euclid_(programming_language) wikiPageWikiLink Strong_typing.
- Euclid_(programming_language) wikiPageWikiLink Structured_programming.
- Euclid_(programming_language) wikiPageWikiLink Turing_(programming_language).
- Euclid_(programming_language) wikiPageWikiLink Turing_programming_language.
- Euclid_(programming_language) wikiPageWikiLink Type_system.
- Euclid_(programming_language) wikiPageWikiLink United_States_Department_of_Defense.
- Euclid_(programming_language) wikiPageWikiLink University_of_Toronto.
- Euclid_(programming_language) wikiPageWikiLink Xerox_PARC.
- Euclid_(programming_language) wikiPageWikiLinkText "Euclid (programming language)".
- Euclid_(programming_language) wikiPageWikiLinkText "Euclid".
- Euclid_(programming_language) designer Butler_Lampson.
- Euclid_(programming_language) designer PARC_(company).
- Euclid_(programming_language) designer Xerox_PARC.
- Euclid_(programming_language) developer "Ric Holt and James Cordy".
- Euclid_(programming_language) hasPhotoCollection Euclid_(programming_language).
- Euclid_(programming_language) influenced Concurrent_Euclid.
- Euclid_(programming_language) influenced Concurrent_Euclid_(programming_language).
- Euclid_(programming_language) influenced Mesa_(programming_language).
- Euclid_(programming_language) influenced Turing_(programming_language).
- Euclid_(programming_language) influencedBy Pascal_(programming_language).
- Euclid_(programming_language) name "Euclid".
- Euclid_(programming_language) paradigm Functional_programming.
- Euclid_(programming_language) paradigm Imperative_programming.
- Euclid_(programming_language) paradigm Multi-paradigm_programming_language.
- Euclid_(programming_language) paradigm Programming_paradigm.
- Euclid_(programming_language) paradigm Structured_programming.
- Euclid_(programming_language) typing Static_typing.
- Euclid_(programming_language) typing Strong_and_weak_typing.
- Euclid_(programming_language) typing Strong_typing.
- Euclid_(programming_language) typing Type_system.
- Euclid_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Euclid_(programming_language) year "1970.0".
- Euclid_(programming_language) subject Category:Procedural_programming_languages.
- Euclid_(programming_language) subject Category:Programming_languages_created_in_the_1970s.
- Euclid_(programming_language) hypernym Language.
- Euclid_(programming_language) type Language.
- Euclid_(programming_language) type ProgrammingLanguage.
- Euclid_(programming_language) type Software.
- Euclid_(programming_language) type Work.
- Euclid_(programming_language) type CreativeWork.
- Euclid_(programming_language) type Thing.
- Euclid_(programming_language) type Q386724.
- Euclid_(programming_language) type Q7397.
- Euclid_(programming_language) type Q9143.
- Euclid_(programming_language) 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.".
- Euclid_(programming_language) label "Euclid (programming language)".
- Euclid_(programming_language) sameAs m.03fbrg.
- Euclid_(programming_language) sameAs Q5406088.
- Euclid_(programming_language) sameAs Q5406088.
- Euclid_(programming_language) wasDerivedFrom Euclid_(programming_language)?oldid=550080609.
- Euclid_(programming_language) isPrimaryTopicOf Euclid_(programming_language).
- Euclid_(programming_language) name "Euclid".