Hume (programming language) (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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). (ca) 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. (en) |
| dbo:thumbnail | wiki-commons:Special:FilePath/HumeStatue-Edinburgh2006.jpg?width=300 |
| dbo:wikiPageExternalLink | http://glew.org/damp2006/Hume-Multicore.ppt http://sgate.emt.bme.hu/documents/patai/publications/PataiHanakSE2007.pdf http://www.macs.hw.ac.uk/~greg/hume/ http://sgate.emt.bme.hu/documents/patai/publications/PataiHanakSE2007Presentation.ppt https://web.archive.org/web/20120722084226/http:/www-fp.cs.st-andrews.ac.uk/hume/index.shtml https://web.archive.org/web/20190403192341/https:/www.embounded.org/ |
| dbo:wikiPageID | 6328175 (xsd:integer) |
| dbo:wikiPageLength | 7059 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1111441073 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Scotland dbr:David_Hume dbr:Join-pattern dbr:University_of_St_Andrews dbc:Articles_with_example_code dbc:Functional_languages dbr:Chord_(concurrency) dbr:Smartphone dbr:Functional_programming dbc:Haskell_programming_language_family dbr:Dataflow_programming dbr:Pure_function dbr:Real-time_computing dbr:Haskell_(programming_language) dbr:Heriot-Watt_University dbc:Embedded_systems dbc:Systems_programming_languages dbr:JoCaml dbr:Embedded_systems dbr:Metaprogramming dbr:Polyphonic_C_Sharp dbr:Finite_state_automata dbr:RTSJ dbr:File:HumeStatue-Edinburgh2006.jpg |
| dbp:wikiPageUsesTemplate | dbt:More_citations_needed dbt:Reflist |
| dcterms:subject | dbc:Articles_with_example_code dbc:Functional_languages dbc:Haskell_programming_language_family dbc:Embedded_systems dbc:Systems_programming_languages |
| rdf:type | yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 yago:WikicatEmbeddedSystems yago:WikicatSystemsProgrammingLanguages |
| 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. (ca) 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. (en) |
| rdfs:label | Hume (llenguatge de programació) (ca) Hume (programming language) (en) |
| owl:sameAs | freebase:Hume (programming language) yago-res:Hume (programming language) wikidata:Hume (programming language) dbpedia-ca:Hume (programming language) https://global.dbpedia.org/id/4n7bn |
| prov:wasDerivedFrom | wikipedia-en:Hume_(programming_language)?oldid=1111441073&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/HumeStatue-Edinburgh2006.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Hume_(programming_language) |
| is dbo:wikiPageDisambiguates of | dbr:Hume |
| is dbo:wikiPageRedirects of | dbr:Hume_(language) |
| is dbo:wikiPageWikiLink of | dbr:Join-pattern dbr:Concurrent_computing dbr:Dataflow_programming dbr:Haskell dbr:Hume dbr:Hume_(language) |
| is foaf:primaryTopic of | wikipedia-en:Hume_(programming_language) |
