In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way. A computer program, prog, is seen as a mapping of input data into output data: , the static data, is the part of the input data known at compile time. The partial evaluator transforms into by precomputing all static input at compile time. to .

Property Value
dbo:abstract
  • In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way. A computer program, prog, is seen as a mapping of input data into output data: , the static data, is the part of the input data known at compile time. The partial evaluator transforms into by precomputing all static input at compile time. is called the "residual program" and should run more efficiently than the original program. The act of partial evaluation is said to "residualize" to . (en)
  • In Informatica, la valutazione parziale è una tecnica che permette di ottimizzare un programma specializzandolo, in pratica consiste nel fatto di valutare un programma per cui sia nota una parte degli input, in modo tale da ottenere un programma specializzato rispetto a tale input, ma che risulti essere più efficiente dell'originale. Supponiamo di avere un programma P ed n-upla di valori v1,..,vn (per i suoi primi n valori di ingresso), l'obbiettivo è individuare un programma P' tale che abbia lo stesso comportamento di P, quando i suoi primi n ingressi sono v1,..,vn, ma che sia più efficiente. Grazie al Teorema di Kleene sappiamo che un tale sistema può essere realizzato. (it)
  • 部分評価(ぶぶんひょうか、英: partial evaluation)は、計算理論における特殊化(特化)による最適化の技法の1つ。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 62428 (xsd:integer)
dbo:wikiPageRevisionID
  • 741696440 (xsd:integer)
dct:subject
rdf:type
rdfs:comment
  • 部分評価(ぶぶんひょうか、英: partial evaluation)は、計算理論における特殊化(特化)による最適化の技法の1つ。 (ja)
  • In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way. A computer program, prog, is seen as a mapping of input data into output data: , the static data, is the part of the input data known at compile time. The partial evaluator transforms into by precomputing all static input at compile time. to . (en)
  • In Informatica, la valutazione parziale è una tecnica che permette di ottimizzare un programma specializzandolo, in pratica consiste nel fatto di valutare un programma per cui sia nota una parte degli input, in modo tale da ottenere un programma specializzato rispetto a tale input, ma che risulti essere più efficiente dell'originale. di Kleene sappiamo che un tale sistema può essere realizzato. (it)
rdfs:label
  • Partial evaluation (en)
  • Valutazione parziale (it)
  • 部分評価 (ja)
  • Частичные вычисления (ru)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is owl:differentFrom of
is foaf:primaryTopic of