Partial evaluation
http://dbpedia.org/resource/Partial_evaluation an entity of type: Thing
部分評価(ぶぶんひょうか、英: partial evaluation)は、計算理論における特殊化(特化)による最適化の技法の1つ。
rdf:langString
In computing, partial evaluation is a technique for several different types of program optimization by . The most straightforward application is to produce new programs that 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: where , the static data, is the part of the input data known at compile time.
rdf:langString
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.
rdf:langString
rdf:langString
Valutazione parziale
rdf:langString
部分評価
rdf:langString
Partial evaluation
rdf:langString
Частичные вычисления
xsd:integer
62428
xsd:integer
1121776286
rdf:langString
In computing, partial evaluation is a technique for several different types of program optimization by . The most straightforward application is to produce new programs that 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: where , 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 .
rdf:langString
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.
rdf:langString
部分評価(ぶぶんひょうか、英: partial evaluation)は、計算理論における特殊化(特化)による最適化の技法の1つ。
xsd:nonNegativeInteger
5004