| http://dbpedia.org/ontology/abstract
|
Суперкомпиляция, или метакомпиляция, — спе … Суперкомпиляция, или метакомпиляция, — специальная техника оптимизации алгоритмов, основанная на знании конкретных входных данных алгоритма. Суперкомпилятор принимает исходный код алгоритма плюс некоторые данные о входных параметрах и возвращает новый исходный код, который исполняет свою задачу на этих данных быстрее или является лучше исходного алгоритма по каким-то другим показателям. Очень часто под суперкомпиляцией неверно понимают глобальную оптимизацию программы, то есть эквивалентные преобразования программы, которые улучшают выбранные показатели исполнения (скорость работы, требуемая память, размер и т. п.), из-за чего технология суперкомпиляции очень мало распространена, а сама идея имеет невысокую оценку в профессиональном сообществе. Автор названия этой техники — российский и американский учёный Валентин Турчин. Техника, несмотря на интуитивность, может для полноценной реализации потребовать значительного вмешательства программиста. Проблемой может стать составление набора всех возможных входных данных, например, для функции преобразования изображения или видео для отображения на экране, в зависимости от формата файла, видеокарты, видеорежима, разрешения и т. п. могут требоваться разные ветви кода и оптимизировать их следует именно под данную комбинацию.ь их следует именно под данную комбинацию.
, Metacompilation is a computation which inv … Metacompilation is a computation which involves metasystem transitions (MST) from a computing machine M to a metamachine M' which controls, analyzes and imitates the work of M. Semantics-based program transformation, such as partial evaluation and supercompilation (SCP), is metacomputation. Metasystem transitions may be repeated, as when a program transformer gets transformed itself. In this manner MST hierarchies of any height can be formed. The Fox paper reviews one strain of research which was started in Russia by Valentin Turchin's REFAL system in the late 1960s-early 1970s and became known for the development of supercompilation as a distinct method of program transformation. After a brief description of the history of this research line, the paper concentrates on those results and problems where supercompilation is combined with repeated metasystem transitions.ined with repeated metasystem transitions.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.diku.dk/~jpsecher/ +
, http://www.refal.net/doc/turchin/dag/dag.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
3183441
|
| http://dbpedia.org/ontology/wikiPageLength
|
1325
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1094965480
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Compiler_construction +
, http://dbpedia.org/resource/Metasystem +
, http://dbpedia.org/resource/Valentin_Turchin +
, http://dbpedia.org/resource/Partial_evaluation +
, http://dbpedia.org/resource/REFAL +
, http://dbpedia.org/resource/Metacompiler +
, http://dbpedia.org/resource/Program_transformation +
, http://dbpedia.org/resource/Russia +
, http://dbpedia.org/resource/Semantic +
, http://dbpedia.org/resource/Computation +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Prog-lang-stub +
, http://dbpedia.org/resource/Template:What +
, http://dbpedia.org/resource/Template:No_footnotes +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Compiler_construction +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Computation +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Metacompilation?oldid=1094965480&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Metacompilation +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q4446231 +
, https://global.dbpedia.org/id/47ciw +
, http://rdf.freebase.com/ns/m.08xq9k +
, http://fa.dbpedia.org/resource/%D9%85%D8%AA%D8%A7%DA%A9%D8%A7%D9%85%D9%BE%D8%A7%DB%8C%D9%84 +
, http://dbpedia.org/resource/Metacompilation +
, http://ru.dbpedia.org/resource/%D0%A1%D1%83%D0%BF%D0%B5%D1%80%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%86%D0%B8%D1%8F +
, http://uk.dbpedia.org/resource/%D0%A1%D1%83%D0%BF%D0%B5%D1%80%D0%BA%D0%BE%D0%BC%D0%BF%D1%96%D0%BB%D1%8F%D1%86%D1%96%D1%8F +
|
| rdf:type |
http://dbpedia.org/ontology/ProgrammingLanguage +
, http://www.wikidata.org/entity/Q9143 +
, http://www.wikidata.org/entity/Q315 +
, http://dbpedia.org/ontology/Language +
, http://schema.org/Language +
|
| rdfs:comment |
Суперкомпиляция, или метакомпиляция, — спе … Суперкомпиляция, или метакомпиляция, — специальная техника оптимизации алгоритмов, основанная на знании конкретных входных данных алгоритма. Суперкомпилятор принимает исходный код алгоритма плюс некоторые данные о входных параметрах и возвращает новый исходный код, который исполняет свою задачу на этих данных быстрее или является лучше исходного алгоритма по каким-то другим показателям. Очень часто под суперкомпиляцией неверно понимают глобальную оптимизацию программы, то есть эквивалентные преобразования программы, которые улучшают выбранные показатели исполнения (скорость работы, требуемая память, размер и т. п.), из-за чего технология суперкомпиляции очень мало распространена, а сама идея имеет невысокую оценку в профессиональном сообществе.окую оценку в профессиональном сообществе.
, Metacompilation is a computation which inv … Metacompilation is a computation which involves metasystem transitions (MST) from a computing machine M to a metamachine M' which controls, analyzes and imitates the work of M. Semantics-based program transformation, such as partial evaluation and supercompilation (SCP), is metacomputation. Metasystem transitions may be repeated, as when a program transformer gets transformed itself. In this manner MST hierarchies of any height can be formed. The Fox paper reviews one strain of research which was started in Russia by Valentin Turchin's REFAL system in the late 1960s-early 1970s and became known for the development of supercompilation as a distinct method of program transformation. After a brief description of the history of this research line, the paper concentrates on those results and p paper concentrates on those results and p
|
| rdfs:label |
Суперкомпиляция
, Суперкомпіляція
, Metacompilation
|
