|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 16 keywords
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
103 | Andrei P. Nemytykh |
The Supercompiler SCP4: General Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 162-170, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
80 | Andrei P. Nemytykh, Victoria A. Pinchuk |
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 249-260, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation |
80 | Valentin F. Turchin |
The Concept of a Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(3), pp. 292-325, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Refal |
60 | Roman Blasko |
Simulation based performance prediction by PEPSY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 341-350, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simulation based performance prediction, VFCS, Vienna Fortran Compilation System, PEPSY, performance prediction system, monitoring modes, parallel program behavior, monitoring facilities, performance analysis, parallel programming, parallel programs, compiler, virtual machines, software tools, discrete event simulation, discrete-event simulation, performance prediction, software performance evaluation, system monitoring, simulation tool, parallelising compilers, supercompiler |
33 | Jason S. Reich |
Property-based testing and properties as types : a hybrid approach to supercompiler verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
33 | Andrei V. Klimov |
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, pp. 185-192, 2009, Springer, 978-3-642-11485-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Alexei Lisitsa 0001, Andrei P. Nemytykh |
Verification as a parameterized testing (experiments with the SCP4 supercompiler). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 33(1), pp. 14-23, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Neil Mitchell, Colin Runciman |
A Supercompiler for Core Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 147-164, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Morten Heine Sørensen, Robert Glück, Neil D. Jones |
A Positive Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 6(6), pp. 811-838, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin |
A Self-Applicable Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Partial Evaluation ![In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers, pp. 322-337, 1996, Springer, 3-540-61580-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Herbert G. Mayer |
Parallel execution enabled by refined source analysis: cost and benefits in a supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
33 | Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin |
Experiments with a Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 47-55, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Valentin F. Turchin |
A supercompiler system based on the language REFAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 14(2), pp. 46-54, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
23 | Valentin F. Turchin |
Supercompilation: Techniques and Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 227-248, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Morten Heine Sørensen, Robert Glück, Neil D. Jones |
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 485-500, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Roman Blasco |
Systematic Strategy for Performance Prediction in Improvement of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAST ![In: Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers, pp. 252-267, 1994, Springer, 3-540-61478-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Robert Glück, Valentin F. Turchin |
Application of Metasystem Transition to Function Inversion and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 286-287, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|