Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Hume_(programming_language)> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Hume_(programming_language) abstract "Hume is a functionally based programming language developed at the University of St Andrews and Heriot-Watt University in Scotland since the year 2000. The language name is both an acronym meaning 'Higher-order Unified Meta-Environment' and an honorific to the 18th Century philosopher David Hume. It targets real-time embedded systems, aiming to produce a design that is both highly abstract, yet which will still allow precise extraction of time and space execution costs. This allows programmers to guarantee the bounded time and space demands of executing programs.Hume is unusual in combining functional programming ideas with ideas from finite state automata. Automata are used to structure communicating programs into a series of "boxes", where each box maps inputs to outputs in a purely functional way using high-level pattern-matching. It is also unusual in being structured as a series of levels, each of which exposes differentmachine properties.".
- Hume_(programming_language) thumbnail HumeStatue-Edinburgh2006.gif?width=300.
- Hume_(programming_language) wikiPageExternalLink Hume-Multicore.ppt.
- Hume_(programming_language) wikiPageExternalLink PataiHanakSE2007.pdf.
- Hume_(programming_language) wikiPageExternalLink PataiHanakSE2007Presentation.ppt.
- Hume_(programming_language) wikiPageExternalLink index.shtml.
- Hume_(programming_language) wikiPageExternalLink www.embounded.org.
- Hume_(programming_language) wikiPageExternalLink hume.
- Hume_(programming_language) wikiPageID "6328175".
- Hume_(programming_language) wikiPageLength "6684".
- Hume_(programming_language) wikiPageOutDegree "24".
- Hume_(programming_language) wikiPageRevisionID "617636891".
- Hume_(programming_language) wikiPageWikiLink Category:Articles_with_example_code.
- Hume_(programming_language) wikiPageWikiLink Category:Embedded_systems.
- Hume_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Hume_(programming_language) wikiPageWikiLink Category:Haskell_programming_language_family.
- Hume_(programming_language) wikiPageWikiLink Category:Systems_programming_languages.
- Hume_(programming_language) wikiPageWikiLink Chord_(concurrency).
- Hume_(programming_language) wikiPageWikiLink Dataflow_programming.
- Hume_(programming_language) wikiPageWikiLink David_Hume.
- Hume_(programming_language) wikiPageWikiLink Embedded_system.
- Hume_(programming_language) wikiPageWikiLink Embedded_systems.
- Hume_(programming_language) wikiPageWikiLink File:HumeStatue-Edinburgh2006.gif.
- Hume_(programming_language) wikiPageWikiLink Finite-state_machine.
- Hume_(programming_language) wikiPageWikiLink Finite_state_automata.
- Hume_(programming_language) wikiPageWikiLink Functional_programming.
- Hume_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Hume_(programming_language) wikiPageWikiLink Heriot-Watt_University.
- Hume_(programming_language) wikiPageWikiLink JoCaml.
- Hume_(programming_language) wikiPageWikiLink Join-pattern.
- Hume_(programming_language) wikiPageWikiLink Metaprogramming.
- Hume_(programming_language) wikiPageWikiLink Polyphonic_C_Sharp.
- Hume_(programming_language) wikiPageWikiLink Purely_functional.
- Hume_(programming_language) wikiPageWikiLink RTSJ.
- Hume_(programming_language) wikiPageWikiLink Real-time_computing.
- Hume_(programming_language) wikiPageWikiLink Real_time_Java.
- Hume_(programming_language) wikiPageWikiLink Scotland.
- Hume_(programming_language) wikiPageWikiLink Smartphone.
- Hume_(programming_language) wikiPageWikiLink University_of_St_Andrews.
- Hume_(programming_language) wikiPageWikiLinkText "Hume (programming language)".
- Hume_(programming_language) wikiPageWikiLinkText "Hume".
- Hume_(programming_language) hasPhotoCollection Hume_(programming_language).
- Hume_(programming_language) subject Category:Articles_with_example_code.
- Hume_(programming_language) subject Category:Embedded_systems.
- Hume_(programming_language) subject Category:Functional_languages.
- Hume_(programming_language) subject Category:Haskell_programming_language_family.
- Hume_(programming_language) subject Category:Systems_programming_languages.
- Hume_(programming_language) comment "Hume is a functionally based programming language developed at the University of St Andrews and Heriot-Watt University in Scotland since the year 2000. The language name is both an acronym meaning 'Higher-order Unified Meta-Environment' and an honorific to the 18th Century philosopher David Hume. It targets real-time embedded systems, aiming to produce a design that is both highly abstract, yet which will still allow precise extraction of time and space execution costs.".
- Hume_(programming_language) label "Hume (programming language)".
- Hume_(programming_language) sameAs Hume_(llenguatge_de_programació).
- Hume_(programming_language) sameAs m.0g172n.
- Hume_(programming_language) sameAs Q5940583.
- Hume_(programming_language) sameAs Q5940583.
- Hume_(programming_language) wasDerivedFrom Hume_(programming_language)?oldid=617636891.
- Hume_(programming_language) depiction HumeStatue-Edinburgh2006.gif.
- Hume_(programming_language) isPrimaryTopicOf Hume_(programming_language).