Add to ORKGAbstract: The paper describes the internal structure of HOSC, an experimental supercompiler dealing with programs written in a higher-order functional language. A detailed and formal account is given of the concepts and algorithms the supercompiler is based upon.Note: Research direction:Programming, parallel computing, multimediaRussia
Abstract: The paper describes the design and implementation of a certifying supercompiler ...
To date, programming language research has made several major contributions to the support of high s...
The evolution of parallel processing over the past several decades can be viewed as the development ...
Abstract: The paper presents the proof of correctness of an experimental supercompiler HOS...
Abstract: The paper contributes the proof of termination of an experimental supercompiler ...
Abstract: The paper describes the algorithm of the supercompiler HOSC 1.5, an experimental...
The current growing interest in supercomputers will undoubtedly give rise to the question of how to ...
Abstract: An introduction to supercompilation, a program analysis and transformation techn...
Supercompilation is a program transformation that removes intermediate structures and performs progr...
Supercompilation is a program optimisation technique that is par-ticularly effective at eliminating ...
Turchin's supercompilation is a program transformation technique for functional languages. A su...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
This paper describes the HCRC-parallel computer prototype, a massively parallel supercomputer able t...
This paper gives a gentle introduction to Turchin's supercompilation and its applications in me...
The software crisis within scientific computing has been that application codes become larger and mo...
Abstract: The paper describes the design and implementation of a certifying supercompiler ...
To date, programming language research has made several major contributions to the support of high s...
The evolution of parallel processing over the past several decades can be viewed as the development ...
Abstract: The paper presents the proof of correctness of an experimental supercompiler HOS...
Abstract: The paper contributes the proof of termination of an experimental supercompiler ...
Abstract: The paper describes the algorithm of the supercompiler HOSC 1.5, an experimental...
The current growing interest in supercomputers will undoubtedly give rise to the question of how to ...
Abstract: An introduction to supercompilation, a program analysis and transformation techn...
Supercompilation is a program transformation that removes intermediate structures and performs progr...
Supercompilation is a program optimisation technique that is par-ticularly effective at eliminating ...
Turchin's supercompilation is a program transformation technique for functional languages. A su...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
This paper describes the HCRC-parallel computer prototype, a massively parallel supercomputer able t...
This paper gives a gentle introduction to Turchin's supercompilation and its applications in me...
The software crisis within scientific computing has been that application codes become larger and mo...
Abstract: The paper describes the design and implementation of a certifying supercompiler ...
To date, programming language research has made several major contributions to the support of high s...
The evolution of parallel processing over the past several decades can be viewed as the development ...