Deforestation (computer science) (original) (raw)
In de theorie van de programmeertalen in de informatica is ontbossing (ook bekend als fuseren) een om boomstructuren te verwijderen. De term "ontbossing" is oorspronkelijk verzonnen door in zijn artikel "Deforestation: transforming programs to eliminate trees". Ontbossing wordt typisch toegepast op programma's uit de hoek van de functioneel programmeertalen, in het bijzonder de zoals Haskell. Een bijzonder algoritme voor ontbossing, de zogenaamde shortcut deforestation, is geïmplementeerd in de Glasgow Haskell Compiler.
| Property | Value |
|---|---|
| dbo:abstract | Desforestació en informàtica, anomenada també fusió de bucles, és una transformació de programes per eliminar estructures intermèdies temporals. S'aplica en el context d'una composició de funcions sobre estructures, obtenint la fusió dels bucles que les recorren. El terme “desforestació” va ésser emprat per primera vegada per en el seu estudi "Deforestation: transforming programs to eliminate trees". La desforestació té aplicació en llenguatges de programació funcional, en especial els llenguatges estrictes com ara el OCaml i Scala. En els llenguatges d'avaluació tardana com ara Haskell en una composició els elements es forneixen sota comanda d'un en un (crida per necessitat), evitant la generació completa d'estructures intermèdies dels llenguatges estrictes. Queda llavors l'optimització possible de fusió dels bucles. (ca) In the theory of programming languages in computer science, deforestation (also known as fusion) is a program transformation to eliminate intermediate lists or tree structures that are created and then immediately consumed by a program. The term "deforestation" was originally coined by Philip Wadler in his 1990 paper "Deforestation: transforming programs to eliminate trees". Deforestation is typically applied to programs in functional programming languages, particularly non-strict programming languages such as Haskell. One particular algorithm for deforestation, shortcut deforestation, is implemented in the Glasgow Haskell Compiler. Deforestation is closely related to escape analysis. (en) Dans la théorie des langages de programmation en informatique, la déforestation (aussi connue sous le nom de fusion) est une transformation de programmes qui permet d'éliminer les structures d'arbre. Le terme de "déforestation" a été inventé par Philip Wadler , dans son article "La déforestation : la transformation des programmes afin d'éliminer les arbres". La déforestation est généralement appliquée aux langages de programmation fonctionnelle, en particulier les langages non-stricts ( (en)) tels que Haskell. Un des algorithmes de déforestation, la déforestation par raccourcis est mis en œuvre dans le Glasgow Haskell Compiler. (fr) In de theorie van de programmeertalen in de informatica is ontbossing (ook bekend als fuseren) een om boomstructuren te verwijderen. De term "ontbossing" is oorspronkelijk verzonnen door in zijn artikel "Deforestation: transforming programs to eliminate trees". Ontbossing wordt typisch toegepast op programma's uit de hoek van de functioneel programmeertalen, in het bijzonder de zoals Haskell. Een bijzonder algoritme voor ontbossing, de zogenaamde shortcut deforestation, is geïmplementeerd in de Glasgow Haskell Compiler. (nl) |
| dbo:wikiPageID | 9315990 (xsd:integer) |
| dbo:wikiPageLength | 2130 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1032261298 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Programming_languages dbr:Non-strict_programming_languages dbr:Escape_analysis dbr:Glasgow_Haskell_Compiler dbr:Computer_science dbc:Implementation_of_functional_programming_languages dbc:Compiler_optimizations dbr:Haskell_programming_language dbr:Tree_structure dbr:Hylomorphism_(computer_science) dbr:Program_transformation dbr:Philip_Wadler dbr:Functional_programming_languages |
| dbp:wikiPageUsesTemplate | dbt:Reflist dbt:Prog-lang-stub dbt:Compiler_optimizations |
| dct:subject | dbc:Implementation_of_functional_programming_languages dbc:Compiler_optimizations |
| gold:hypernym | dbr:Transformation |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:WikicatCompilerOptimizations yago:Abstraction100002137 yago:Act100030358 yago:Action100037396 yago:Change100191142 yago:ChangeOfState100199130 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:Event100029378 yago:Idea105833840 yago:Improvement100248977 yago:Optimization100260051 yago:PsychologicalFeature100023100 yago:YagoPermanentlyLocatedEntity dbo:ProgrammingLanguage yago:WikicatProgrammingLanguageConcepts |
| rdfs:comment | In de theorie van de programmeertalen in de informatica is ontbossing (ook bekend als fuseren) een om boomstructuren te verwijderen. De term "ontbossing" is oorspronkelijk verzonnen door in zijn artikel "Deforestation: transforming programs to eliminate trees". Ontbossing wordt typisch toegepast op programma's uit de hoek van de functioneel programmeertalen, in het bijzonder de zoals Haskell. Een bijzonder algoritme voor ontbossing, de zogenaamde shortcut deforestation, is geïmplementeerd in de Glasgow Haskell Compiler. (nl) Desforestació en informàtica, anomenada també fusió de bucles, és una transformació de programes per eliminar estructures intermèdies temporals. S'aplica en el context d'una composició de funcions sobre estructures, obtenint la fusió dels bucles que les recorren. El terme “desforestació” va ésser emprat per primera vegada per en el seu estudi "Deforestation: transforming programs to eliminate trees". La desforestació té aplicació en llenguatges de programació funcional, en especial els llenguatges estrictes com ara el OCaml i Scala. (ca) In the theory of programming languages in computer science, deforestation (also known as fusion) is a program transformation to eliminate intermediate lists or tree structures that are created and then immediately consumed by a program. The term "deforestation" was originally coined by Philip Wadler in his 1990 paper "Deforestation: transforming programs to eliminate trees". (en) Dans la théorie des langages de programmation en informatique, la déforestation (aussi connue sous le nom de fusion) est une transformation de programmes qui permet d'éliminer les structures d'arbre. Le terme de "déforestation" a été inventé par Philip Wadler , dans son article "La déforestation : la transformation des programmes afin d'éliminer les arbres". (fr) |
| rdfs:label | Desforestació (informàtica) (ca) Deforestation (computer science) (en) Déforestation (informatique) (fr) Ontbossing (informatica) (nl) |
| owl:sameAs | freebase:Deforestation (computer science) yago-res:Deforestation (computer science) wikidata:Deforestation (computer science) dbpedia-ca:Deforestation (computer science) dbpedia-fr:Deforestation (computer science) dbpedia-nl:Deforestation (computer science) https://global.dbpedia.org/id/231MY |
| prov:wasDerivedFrom | wikipedia-en:Deforestation_(computer_science)?oldid=1032261298&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Deforestation_(computer_science) |
| is dbo:wikiPageDisambiguates of | dbr:DeForest |
| is dbo:wikiPageRedirects of | dbr:Fixed-point_fusion |
| is dbo:wikiPageWikiLink of | dbr:Glasgow_Haskell_Compiler dbr:Functional_programming dbr:DeForest dbr:Hylomorphism_(computer_science) dbr:Optimizing_compiler dbr:Fixed-point_fusion |
| is foaf:primaryTopic of | wikipedia-en:Deforestation_(computer_science) |