| dbo:abstract |
Στην επιστήμη υπολογιστών, η αναγωγή γράφου (graph reduction) υλοποιεί μια αποδοτική έκδοση της μη-αυστηρής αποτίμησης, μιας στρατηγικής αποτίμησης στην οποία οι παράμετροι σε μια συνάρτηση δεν αποτιμώνται άμεσα. Η μορφή αυτή της μη-αυστηρής αποτίμησης είναι γνωστή και σαν οκνηρή αποτίμηση και χρησιμοποιείται στις γλώσσες συναρτησιακού προγραμματισμού. Η τεχνική χρησιμοποιήθηκε για πρώτη φορά από τον Chris Wadsworth το 1971. (el) En informática, la reducción de grafos implementa una versión eficiente de evaluación no estricta, una estrategia de evaluación donde los argumentos para una función no se evalúan inmediatamente. Esta forma de evaluación no estricta también se conoce como evaluación perezosa y se usa en lenguajes de programación funcionales. La técnica fue desarrollada por primera vez por en 1971. (es) In computer science, graph reduction implements an efficient version of non-strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated. This form of non-strict evaluation is also known as lazy evaluation and used in functional programming languages. The technique was first developed by in 1971. (en) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Expression_Tree.svg?width=300 |
| dbo:wikiPageExternalLink |
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/ |
| dbo:wikiPageID |
564004 (xsd:integer) |
| dbo:wikiPageLength |
4641 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1106414698 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:SECD_machine dbr:David_Turner_(computer_scientist) dbr:Tree_data_structure dbr:Computer_science dbr:Functional_programming dbc:Graph_algorithms dbc:Implementation_of_functional_programming_languages dbr:Data_structure dbr:Eager_evaluation dbr:Lazy_evaluation dbr:Directed_graph dbr:Graph_reduction_machine dbc:Graph_rewriting dbr:Directed_acyclic_graph dbr:Associative dbr:Evaluation_strategy dbr:SASL_programming_language dbr:Combinator dbr:Chris_Wadsworth dbr:File:Expression_Graph.svg dbr:File:Expression_Graph_Reduction.svg dbr:File:Expression_Tree.svg dbr:Innermost_tree_reduction dbr:Outermost_tree_reduction |
| dbp:wikiPageUsesTemplate |
dbt:About dbt:Cite_book |
| dcterms:subject |
dbc:Graph_algorithms dbc:Implementation_of_functional_programming_languages dbc:Graph_rewriting |
| rdf:type |
yago:Abstraction100002137 yago:Act100030358 yago:Activity100407535 yago:Algorithm105847438 yago:Event100029378 yago:Procedure101023820 yago:PsychologicalFeature100023100 yago:WikicatGraphAlgorithms yago:YagoPermanentlyLocatedEntity yago:Rule105846932 |
| rdfs:comment |
Στην επιστήμη υπολογιστών, η αναγωγή γράφου (graph reduction) υλοποιεί μια αποδοτική έκδοση της μη-αυστηρής αποτίμησης, μιας στρατηγικής αποτίμησης στην οποία οι παράμετροι σε μια συνάρτηση δεν αποτιμώνται άμεσα. Η μορφή αυτή της μη-αυστηρής αποτίμησης είναι γνωστή και σαν οκνηρή αποτίμηση και χρησιμοποιείται στις γλώσσες συναρτησιακού προγραμματισμού. Η τεχνική χρησιμοποιήθηκε για πρώτη φορά από τον Chris Wadsworth το 1971. (el) En informática, la reducción de grafos implementa una versión eficiente de evaluación no estricta, una estrategia de evaluación donde los argumentos para una función no se evalúan inmediatamente. Esta forma de evaluación no estricta también se conoce como evaluación perezosa y se usa en lenguajes de programación funcionales. La técnica fue desarrollada por primera vez por en 1971. (es) In computer science, graph reduction implements an efficient version of non-strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated. This form of non-strict evaluation is also known as lazy evaluation and used in functional programming languages. The technique was first developed by in 1971. (en) |
| rdfs:label |
Αναγωγή γράφου (el) Reducción de grafos (es) Graph reduction (en) |
| owl:sameAs |
freebase:Graph reduction yago-res:Graph reduction wikidata:Graph reduction dbpedia-el:Graph reduction dbpedia-es:Graph reduction dbpedia-sr:Graph reduction https://global.dbpedia.org/id/4kGPU |
| prov:wasDerivedFrom |
wikipedia-en:Graph_reduction?oldid=1106414698&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Expression_Graph.svg wiki-commons:Special:FilePath/Expression_Graph_Reduction.svg wiki-commons:Special:FilePath/Expression_Tree.svg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Graph_reduction |
| is dbo:wikiPageDisambiguates of |
dbr:Reduction |
| is dbo:wikiPageRedirects of |
dbr:Combinator_graph_reduction |
| is dbo:wikiPageWikiLink of |
dbr:List_of_functional_programming_topics dbr:List_of_graph_theory_topics dbr:Combinator_graph_reduction dbr:Clean_(programming_language) dbr:Functional_programming dbr:Lazy_evaluation dbr:Graph_reduction_machine dbr:Lennart_Augustsson dbr:Reduction dbr:Lambda_calculus dbr:SKI_combinator_calculus dbr:Evaluation_strategy |
| is foaf:primaryTopic of |
wikipedia-en:Graph_reduction |
