This HTML5 document contains 72 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/
n25http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n17https://global.dbpedia.org/id/
n13https://web.archive.org/web/20120722084226/http:/www-fp.cs.st-andrews.ac.uk/hume/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23http://glew.org/damp2006/
n9http://www.macs.hw.ac.uk/~greg/hume/
freebasehttp://rdf.freebase.com/ns/
n12http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
n5https://web.archive.org/web/20190403192341/https:/www.embounded.org/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n14http://sgate.emt.bme.hu/documents/patai/publications/

Statements

Subject Item
dbr:Join-pattern
dbo:wikiPageWikiLink
dbr:Hume_(programming_language)
Subject Item
dbr:Concurrent_computing
dbo:wikiPageWikiLink
dbr:Hume_(programming_language)
Subject Item
dbr:Dataflow_programming
dbo:wikiPageWikiLink
dbr:Hume_(programming_language)
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:Hume_(programming_language)
Subject Item
dbr:Hume_(programming_language)
rdf:type
yago:Artifact100021939 yago:Object100002684 yago:Whole100003553 yago:WikicatEmbeddedSystems yago:Instrumentality103575240 yago:System104377057 yago:WikicatSystemsProgrammingLanguages yago:PhysicalEntity100001930
rdfs:label
Hume (llenguatge de programació) Hume (programming language)
rdfs:comment
Hume (Higher-order Unified Meta-Environment, ‘meta-entorn unificat d'ordre superior’) és un llenguatge de programació funcional i tipificació forta per a sistemes amb recursos limitats que incorpora elements per assegurar l'execució acotada en temps i espai. Hume ha estat desenvolupat a la Universitat de Saint Andrews, Escòcia. Amb el nom volen retre homenatge a David Hume, filòsof escocès famós pel seu escepticisme que requeria reiterades proves i bons fonaments per arribar a donar crèdit a les formulacions. 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.
foaf:depiction
n12:HumeStatue-Edinburgh2006.jpg
dcterms:subject
dbc:Systems_programming_languages dbc:Haskell_programming_language_family dbc:Functional_languages dbc:Embedded_systems dbc:Articles_with_example_code
dbo:wikiPageID
6328175
dbo:wikiPageRevisionID
1111441073
dbo:wikiPageWikiLink
dbr:Real-time_computing dbc:Embedded_systems dbr:Metaprogramming dbr:Dataflow_programming dbc:Haskell_programming_language_family dbr:RTSJ dbc:Functional_languages dbr:Haskell_(programming_language) dbr:Finite_state_automata dbr:Pure_function dbr:Functional_programming dbc:Articles_with_example_code dbr:Scotland dbr:Chord_(concurrency) dbr:University_of_St_Andrews dbr:Join-pattern dbr:Embedded_systems dbr:Polyphonic_C_Sharp dbr:JoCaml dbr:Smartphone n25:HumeStatue-Edinburgh2006.jpg dbr:David_Hume dbr:Heriot-Watt_University dbc:Systems_programming_languages
dbo:wikiPageExternalLink
n5: n9: n13:index.shtml n14:PataiHanakSE2007.pdf n23:Hume-Multicore.ppt n14:PataiHanakSE2007Presentation.ppt
owl:sameAs
yago-res:Hume_(programming_language) n17:4n7bn wikidata:Q5940583 freebase:m.0g172n dbpedia-ca:Hume_(llenguatge_de_programació)
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:More_citations_needed
dbo:thumbnail
n12:HumeStatue-Edinburgh2006.jpg?width=300
dbo: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 combines 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 structured as a series of levels, each of which exposes different machine properties. Hume (Higher-order Unified Meta-Environment, ‘meta-entorn unificat d'ordre superior’) és un llenguatge de programació funcional i tipificació forta per a sistemes amb recursos limitats que incorpora elements per assegurar l'execució acotada en temps i espai. Hume ha estat desenvolupat a la Universitat de Saint Andrews, Escòcia. Amb el nom volen retre homenatge a David Hume, filòsof escocès famós pel seu escepticisme que requeria reiterades proves i bons fonaments per arribar a donar crèdit a les formulacions. Tanmateix és un treball en-procés, amb parts importants (temporitzadors, excepcions) pendents d'implementar en el compilador, malgrat que funcionin en part en l'intèrpret (més endarrerit en altres aspectes i pres com a demostrador de conceptes).
prov:wasDerivedFrom
wikipedia-en:Hume_(programming_language)?oldid=1111441073&ns=0
dbo:wikiPageLength
7059
foaf:isPrimaryTopicOf
wikipedia-en:Hume_(programming_language)
Subject Item
dbr:Hume
dbo:wikiPageWikiLink
dbr:Hume_(programming_language)
dbo:wikiPageDisambiguates
dbr:Hume_(programming_language)
Subject Item
dbr:Hume_(language)
dbo:wikiPageWikiLink
dbr:Hume_(programming_language)
dbo:wikiPageRedirects
dbr:Hume_(programming_language)
Subject Item
wikipedia-en:Hume_(programming_language)
foaf:primaryTopic
dbr:Hume_(programming_language)