Zobrazeno 1 - 6
of 6
pro vyhledávání: '"I G Klyuchnikov"'
Autor:
Sergei A. Romanenko, I G Klyuchnikov
Publikováno v:
Programming and Computer Software. 41:170-182
This paper describes the design and implementation of a TT Lite certifying supercompiler, which transforms a source program into a pair consisting of a residual program and a proof that the residual program is equivalent to the source one. As far as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::703a2c6ee535f6cbe42b9e0b0ece6c48
https://doi.org/10.1134/s0361768815030068
https://doi.org/10.1134/s0361768815030068
Autor:
I G Klyuchnikov, Sergei A. Romanenko
Publikováno v:
Programming and Computer Software. 38:231-244
Issues related to metasystem transitions in the context of supercompilation are discussed. Manifestations of the law of branching growth of the penultimate level in the case of higher-level supercompilation are considered. Based on this law, some app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fd86dfa54065bacf5504325684efc8b
https://doi.org/10.1134/s0361768812050027
https://doi.org/10.1134/s0361768812050027
Autor:
Sergei A. Romanenko, I G Klyuchnikov
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662468227
Ershov Memorial Conference
Ershov Memorial Conference
The paper describes the design and implementation of a certifying supercompiler TT Lite SC, which takes an input program and produces a residual program and a proof of the fact that the residual program is equivalent to the input one. As far as we ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b9a86513b1f372c90d269c88c218abf
https://doi.org/10.1007/978-3-662-46823-4_16
https://doi.org/10.1007/978-3-662-46823-4_16
Autor:
I. G. Klyuchnikov, G. M. Klyuchnikov
Publikováno v:
Journal of Engineering Physics and Thermophysics. 67:795-799
The authors show the decisive role and special features of heat and mass transfer in the mechanism of abnormal plasticity and in formation of thermomechanical dissipative structures under large plastic strains by the examples of computer modeling of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6b74e0309276857bb4fddfcf16ac36f
https://doi.org/10.1007/bf00853337
https://doi.org/10.1007/bf00853337
Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
Autor:
Sergei A. Romanenko, I G Klyuchnikov
Publikováno v:
Perspectives of Systems Informatics ISBN: 9783642297083
Ershov Memorial Conference
Ershov Memorial Conference
The paper deals with some aspects of metasystem transitions in the context of supercompilation. We consider the manifestations of the law of branching growth of the penultimate level in the case of higher-level supercompilation and argue that this la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d15061e24f2b7513cbbdb8ac4762336b
https://doi.org/10.1007/978-3-642-29709-0_19
https://doi.org/10.1007/978-3-642-29709-0_19
Autor:
I G Klyuchnikov, Sergei A. Romanenko
Publikováno v:
Perspectives of Systems Informatics ISBN: 9783642114854
Ershov Memorial Conference
Ershov Memorial Conference
One of the applications of supercompilation is proving properties of programs. We focus in this paper on a specific task: proving term equivalence for a higher-order lazy functional language. The “classical” way to prove equivalence of two terms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65e4f941fd6611a59afd948494526ebc
https://doi.org/10.1007/978-3-642-11486-1_17
https://doi.org/10.1007/978-3-642-11486-1_17