Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Alphard_(programming_language)> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Alphard_(programming_language) 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.".
- Alphard_(programming_language) wikiPageID "2789750".
- Alphard_(programming_language) wikiPageLength "2063".
- Alphard_(programming_language) wikiPageOutDegree "15".
- Alphard_(programming_language) wikiPageRevisionID "637554624".
- Alphard_(programming_language) wikiPageWikiLink Abstraction_(computer_science).
- Alphard_(programming_language) wikiPageWikiLink Category:Experimental_programming_languages.
- Alphard_(programming_language) wikiPageWikiLink Category:Pascal_(programming_language).
- Alphard_(programming_language) wikiPageWikiLink Data_type.
- Alphard_(programming_language) wikiPageWikiLink Formal_verification.
- Alphard_(programming_language) wikiPageWikiLink Functional_specification.
- Alphard_(programming_language) wikiPageWikiLink Generator_(computer_programming).
- Alphard_(programming_language) wikiPageWikiLink Implementation.
- Alphard_(programming_language) wikiPageWikiLink Information_Processing_Language.
- Alphard_(programming_language) wikiPageWikiLink Lisp_(programming_language).
- Alphard_(programming_language) wikiPageWikiLink Mary_Shaw_(computer_scientist).
- Alphard_(programming_language) wikiPageWikiLink Pascal_(programming_language).
- Alphard_(programming_language) wikiPageWikiLink Programming_language.
- Alphard_(programming_language) wikiPageWikiLink William_Wulf.
- Alphard_(programming_language) wikiPageWikiLinkText "Alphard (programming language)".
- Alphard_(programming_language) wikiPageWikiLinkText "Alphard".
- Alphard_(programming_language) wikiPageUsesTemplate Template:Cite_book.
- Alphard_(programming_language) wikiPageUsesTemplate Template:Compu-lang-stub.
- Alphard_(programming_language) wikiPageUsesTemplate Template:Reflist.
- Alphard_(programming_language) subject Category:Experimental_programming_languages.
- Alphard_(programming_language) subject Category:Pascal_(programming_language).
- Alphard_(programming_language) hypernym Language.
- Alphard_(programming_language) type Language.
- Alphard_(programming_language) type ProgrammingLanguage.
- Alphard_(programming_language) type Language.
- Alphard_(programming_language) type Redirect.
- Alphard_(programming_language) type Language.
- Alphard_(programming_language) type Thing.
- Alphard_(programming_language) type Q315.
- Alphard_(programming_language) type Q34770.
- Alphard_(programming_language) type Q9143.
- Alphard_(programming_language) 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.".
- Alphard_(programming_language) label "Alphard (programming language)".
- Alphard_(programming_language) sameAs Q4735267.
- Alphard_(programming_language) sameAs m.082tzd.
- Alphard_(programming_language) sameAs Q4735267.
- Alphard_(programming_language) wasDerivedFrom Alphard_(programming_language)?oldid=637554624.
- Alphard_(programming_language) isPrimaryTopicOf Alphard_(programming_language).