About: Partial evaluation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technique for program optimization

Property	Value
dbo:description	technique for program optimization (en) tecnica che permette di ottimizzare un programma specializzandolo (it)
dbo:wikiPageExternalLink	http://people.csail.mit.edu/gregs/dynamic-pe.html http://www.brics.dk/NS/99/1/BRICS-NS-99-1.pdf http://www.itu.dk/people/sestoft/pebook/
dbo:wikiPageWikiLink	dbr:Smn_theorem dbr:Template_metaprogramming dbc:Compiler_optimizations dbr:Computing dbc:Evaluation_strategy dbr:Computer_program dbr:Partial_application dbr:Memoization dbr:Compile-time_function_execution dbr:Map_(mathematics) dbr:Strength_reduction dbr:Specialization_(logic) dbr:Optimization_(computer_science) dbr:Run-time_algorithm_specialisation
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Refend dbt:Refbegin dbt:Distinguish dbt:Evaluation_strategy dbt:Harvid dbt:Harvnb dbt:More_footnotes dbt:Compiler_optimizations dbt:Short_description
dct:subject	dbc:Compiler_optimizations dbc:Evaluation_strategy
rdfs:label	Partial evaluation (en) Valutazione parziale (it) 部分評価 (ja) Частичные вычисления (ru)
owl:differentFrom	dbr:Partial_application
owl:sameAs	freebase:Partial evaluation yago-res:Partial evaluation wikidata:Partial evaluation dbpedia-it:Partial evaluation dbpedia-ja:Partial evaluation dbpedia-ru:Partial evaluation dbpedia-global:Partial evaluation
prov:wasDerivedFrom	wikipedia-en:Partial_evaluation?oldid=1234631160&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Partial_evaluation
is dbo:knownFor of	dbr:Olivier_Danvy dbr:Neil_D._Jones
is dbo:wikiPageDisambiguates of	dbr:Evaluation_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Yoshihiko_Futamura dbr:Futamura_projection dbr:Partial_Evaluation dbr:Partial_evaluator
is dbo:wikiPageWikiLink of	dbr:PyPy dbr:ProGuard dbr:Evaluation_(disambiguation) dbr:Hygienic_macro dbr:Evaluation_strategy dbr:Smn_theorem dbr:Metacompilation dbr:Glasgow_Haskell_Compiler dbr:Constant_folding dbr:Olivier_Danvy dbr:Bluespec dbr:Divide-and-conquer_algorithm dbr:Optimizing_compiler dbr:Incremental_computing dbr:Mads_Tofte dbr:Generic_programming dbr:Nemerle dbr:Refal dbr:Yoshihiko_Futamura dbr:Metaprogramming dbr:Memoization dbr:LLVM dbr:Inline_expansion dbr:Interpreter_(computing) dbr:Compile-time_function_execution dbr:Run-time_algorithm_specialization dbr:Defunctionalization dbr:List_of_programming_language_researchers dbr:Precomputation dbr:Strength_reduction dbr:Multi-stage_programming dbr:Neil_D._Jones dbr:Flow_chart_language dbr:Futamura_projection dbr:Partial_Evaluation dbr:Partial_evaluator
is dbp:knownFor of	dbr:Neil_D._Jones
is owl:differentFrom of	dbr:Partial_application
is foaf:primaryTopic of	wikipedia-en:Partial_evaluation