metacomputation-ru  

Индекс пенетрантности

• Совместное совещание по Рефалу 17 июня 'A N' via Метавычисления и специализация программ
• День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023 Andrei Klimov
  • RE: День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023 Turchin, Peter
  • Re: День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023 Natalia Romanenko
  • День памяти В.Ф. Турчина 7 апреля и семинар 10.04.2024 Andrei Klimov
  • Re: День памяти В.Ф. Турчина 7 апреля и семинар 10.04.2024 Boris Schapiro
  • Fwd: День памяти В.Ф. Турчина 7 апреля и семинар 10.04.2024 Andrei Klimov
• Obituary: Neil D. Jones (1941-2023) Andrei Klimov
• Вопрос о связи суперкомпиляции и well-structured transition systems 'Shilov Nikolay' via Метавычисления и специализация программ
  • Re: Вопрос о связи суперкомпиляции и well-structured transition systems 'Antonina Nepejvoda' via Метавычисления и специализация программ
• День рождения Валентина Федоровича Турчина nikolai.kondratiev
  • Re: День рождения Валентина Федоровича Турчина Arkady Klimov arkady . klimov_AT_gmail . com
  • Re: День рождения Валентина Федоровича Турчина Andrei Klimov
• Доклады по метавычислениям в среду 21.09.2022 на online-конференции «Абрау'22» Andrei Klimov
  • RE: Доклады по метавычислениям в среду 21.09.2022 на online-конференции «Абрау'22» И . Р .
• RE: V совместное совещание ИПС РАН — МГТУ по Рефалу 'Александр Коновалов' via Метавычисления и специализация программ
• День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022 Andrei Klimov
  • Re: День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022 Anton Kolonin @ Gmail
  • Re: День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022 Andrei Klimov
  • Re: День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022 Anton Kolonin @ Gmail
  • Re: День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022 Andrei Klimov
• POPL & PEPM 2022 Andrei Klimov
  • Re: POPL & PEPM 2022 Andrei Klimov
  • Re: POPL & PEPM 2022 Николай Nikolay Шилов Shilov
• Семинар ru-STEP в четверг 13 января 2022 в 14:00 – доклад Андрея Климова Andrei Klimov
• 05.11.2021 20:00 MSK: Talk by Geoff Hamilton on Tight Polynomial Worst-Case Bounds for Loop Programs Andrei Klimov
• FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск). 'Александр Коновалов' via Метавычисления и специализация программ
• Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск). Andrei Klimov
  • Re: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск). Andrei Klimov
  • Re: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск). Andrei Klimov
  • Re: Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск). Lidia Gorodnyaya
  • Рефал "мертв"? Да здравствует Рефал. 'Александр Гусев' via Метавычисления и специализация программ
  • Re[2]: Рефал "мертв"? Да здравствует Рефал. 'Александр Гусев' via Метавычисления и специализация программ
  • Re: Рефал "мертв"? Да здравствует Рефал. Василий Стеллецкий
• IV совместное совещание ИПС РАН — МГТУ по Рефалу 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу 'Александр Коновалов' via Метавычисления и специализация программ
• 8 июня рефал-семинар ИПС РАН и МГТУ 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: 8 июня рефал-семинар ИПС РАН и МГТУ Николай Nikolay Шилов Shilov
• Харитоновские Научные Чтения - 2021 Arkady Klimov
  • Re: Харитоновские Научные Чтения - 2021 Andrei Klimov
  • RE: Харитоновские Научные Чтения - 2021 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Харитоновские Научные Чтения - 2021 Николай Nikolay Шилов Shilov
  • Re: Харитоновские Научные Чтения - 2021 Andrei Klimov
• SYRCoSE'21: приглашение на 27-28 мая 2021 г. Andrei Klimov
• Huawei topics in symbolic execution Николай Шилов
  • Re: Huawei topics in symbolic execution Arkady Klimov
• День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021 Andrei Klimov
  • Re: День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021 Sergei M. Abramov
  • Re: День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021 'Shilov Nikolay' via Метавычисления и специализация программ
  • Re:День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021 vshtarkman
  • Re: День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021 Andrei Klimov
  • AW: День памяти Валентина Федоровича Турчина (14.2.1931–7.4.2010) – 7.4.2021 nikolai.kondratiev
• Верификатор языка Урбана Мюллера 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Верификатор языка Урбана Мюллера Andrei Klimov
  • RE: Верификатор языка Урбана Мюллера 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Верификатор языка Урбана Мюллера Andrei Klimov
  • RE: Верификатор языка Урбана Мюллера 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Верификатор языка Урбана Мюллера 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Верификатор языка Урбана Мюллера Andrei Klimov
  • Re: Верификатор языка Урбана Мюллера Andrei Klimov
  • RE: Верификатор языка Урбана Мюллера 'Александр Коновалов' via Метавычисления и специализация программ
• 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) Andrei Klimov
  • Re: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) Sergei M. Abramov
  • Re: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) 'Shilov Nikolay' via Метавычисления и специализация программ
  • Re: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) Andrei Klimov
  • Re[2]: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) 'Shilov Nikolay' via Метавычисления и специализация программ
  • Re: Re[2]: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) Arkady Klimov
  • RE: 90-летие Валентина Федоровича Турчина (14.2.1931–7.4.2010) 'Александр Коновалов' via Метавычисления и специализация программ
• Fwd: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) Andrei Klimov
  • RE: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) Arkady Klimov
  • RE: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) Arkady Klimov
  • RE: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) Arkady Klimov
  • RE: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск) 'Александр Коновалов' via Метавычисления и специализация программ
• 17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021) Andrei Klimov
  • Re: 17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021) Andrei Klimov
• Приглашение на онлайн семинар ru-STEP 15 января (и далее...) Andrei Klimov
• Dearest in Mind, Grace Obia
• «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Andrei Klimov
  • Fwd: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Arkady Klimov
  • Re: Fwd: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... 'Shilov Nikolay' via Метавычисления и специализация программ
  • «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Andrei Klimov
  • Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Andrei Klimov
  • Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Andrei Klimov
  • RE: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Andrei Klimov
  • RE: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... Andrei Klimov
• Second call for papers. VPT 20-21 - International Workshops on Verification and Program Transformation Andrei Klimov
• Семинар по метавычислениям во вторник 13 октября 2020 в 13:00 в Zoom'е Andrei Klimov
• Про параметры суперкомпиляции 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Про параметры суперкомпиляции Arkady Klimov
  • RE: Про параметры суперкомпиляции 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Про параметры суперкомпиляции 'Александр Коновалов' via Метавычисления и специализация программ
• PSSV-2020: сервер открыт (до 19 октября) для тезисов (4 стр.) коротких и стендовых сообщений! Николай Шилов
• Конференция МЭС - 2020 Arkady Klimov
  • Re: Конференция МЭС - 2020 Arkady Klimov
• Третье рабочее совещание ИПС РАН и МГТУ по Рефалу (онлайн!) 'Александр Коновалов' via Метавычисления и специализация программ
• Что такое «базисная конфигурация»? 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Что такое «базисная конфигурация»? 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Что такое «базисная конфигурация»? Sergei M. Abramov
  • RE: Что такое «базисная конфигурация»? 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Что такое «базисная конфигурация»? Arkady Klimov
  • RE: Что такое «базисная конфигурация»? 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Что такое «базисная конфигурация»? Arkady Klimov
  • Re: Что такое «базисная конфигурация»? Sergei M. Abramov
• Конференция SYRCoSE'20 по Zoom'у 28–29 мая 2020 Andrei Klimov
  • Re: Конференция SYRCoSE'20 по Zoom'у 28–29 мая 2020 'Александр Гусев' via Метавычисления и специализация программ
• День памяти Валентина Федоровича Турчина 7.4.2020 Andrei Klimov
  • Re: День памяти Валентина Федоровича Турчина 7.4.2020 Leonid Belous
  • Re: День памяти Валентина Федоровича Турчина 7.4.2020 Boris Schapiro
  • Re: День памяти Валентина Федоровича Турчина 7.4.2020 Nikolai Kondratiev
• Эпистемиология по Турчину Andrei Klimov
  • Re: Эпистемиология по Турчину Sergey Bugrov
• Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ Andrei Klimov
  • RE: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Семинар по метавычислениям в понедельник 2 марта 2020 в ИПМ Andrei Klimov
• Про неподвижные точки суперкомпилятора 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Про неподвижные точки суперкомпилятора Arkady Klimov
  • RE: Про неподвижные точки суперкомпилятора 'Александр Коновалов' via Метавычисления и специализация программ
• Очередная Functional Programming Conference в Казане (29-30 мая 2020). Николай Шилов
• День Валентина Турчина Andrei Klimov
  • RE: День Валентина Турчина 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: День Валентина Турчина 'Александр Коновалов' via Метавычисления и специализация программ
• VPT 2020 - regular paper submission deadline has been extended. Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi Andrei Klimov
• PSSV-2020: XI Workshop Program Semantics, Specification and Verification: Theory and Applications Andrei Klimov
• Third call for papers. VPT 2020 - Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi Andrei Klimov
• 13 декабря 2019 – Коллоквиум по Теоретическому и Экспериментальному Программированию (КолТЭП-2019) Andrei Klimov
• Семинар памяти В.Ф.Турчина в среду 10 апреля 2019 в ИПМ им. М.В. Келдыша РАН Andrei Klimov
• Абрау-2019 – зарегистрируйте название доклада (сегодня 16.2.19!) Andrei Klimov
• День Валентина Andrei Klimov
• А это что за семантика? (Было — Что такое «справедливая семантика»?) 'Александр Коновалов' via Метавычисления и специализация программ
• TOOLS 50+1: Call for Papers Andrei Klimov
  • Re: TOOLS 50+1: Call for Papers Николай Шилов
• RE: Плохой суперкомпилятор Рефала как неплохой оптимизатор 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Плохой суперкомпилятор Рефала как неплохой оптимизатор Arkady Klimov
  • RE: Плохой суперкомпилятор Рефала как неплохой оптимизатор 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Плохой суперкомпилятор Рефала как неплохой оптимизатор 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Плохой суперкомпилятор Рефала как неплохой оптимизатор Arkady Klimov
• Что такое «справедливая семантика»? 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Что такое «справедливая семантика»? Yuri Klimov
  • Re: Что такое «справедливая семантика»? Sergei M. Abramov
  • RE: Что такое «справедливая семантика»? 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Что такое «справедливая семантика»? 'Александр Коновалов' via Метавычисления и специализация программ
• Third call for papers. VPT 2019 - Seventh International Workshop on Verification and Program Transformation Andrei Klimov
• Об остановке суперкомпилятора Рефала 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Об остановке суперкомпилятора Рефала 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Re[2]: Об остановке суперкомпилятора Рефала 'Александр Коновалов' via Метавычисления и специализация программ
• Суперкомпилятор, который знает математику 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Суперкомпилятор, который знает математику Arkady Klimov
  • Re: Суперкомпилятор, который знает математику Николай Шилов
  • RE: Суперкомпилятор, который знает математику 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Суперкомпилятор, который знает математику Arkady Klimov
  • Re: Суперкомпилятор, который знает математику Arkady Klimov
  • Re: Суперкомпилятор, который знает математику Sergei Grechanik
  • RE: Суперкомпилятор, который знает математику 'Александр Коновалов' via Метавычисления и специализация программ
• FW: Глупая суперкомпиляция 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: FW: Глупая суперкомпиляция Arkady Klimov
  • RE: Глупая суперкомпиляция 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Глупая суперкомпиляция Arkady Klimov
  • Re: Глупая суперкомпиляция Sergei M. Abramov
  • RE: Глупая суперкомпиляция 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Глупая суперкомпиляция Arkady Klimov
  • RE: Глупая суперкомпиляция 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Глупая суперкомпиляция Sergei M. Abramov
  • RE: Глупая суперкомпиляция 'Александр Коновалов' via Метавычисления и специализация программ
  • Интерактивные метавычисления (Was: Глупая суперкомпиляция) Andrei Klimov
  • RE: Интерактивные метавычисления (Was: Глупая суперкомпиляция) 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Интерактивные метавычисления (Was: Глупая суперкомпиляция) 'Александр Коновалов' via Метавычисления и специализация программ
  • RE: Глупая суперкомпиляция 'Александр Коновалов' via Метавычисления и специализация программ
• Введение в суперкомпиляцию (препринты и презентация) Sergei Romanenko
  • Re: Введение в суперкомпиляцию (препринты и презентация) 'Александр Коновалов' via Метавычисления и специализация программ
  • Re: Введение в суперкомпиляцию (препринты и презентация) Sergei Romanenko
• PSI'19 Preliminary Call for Papers Andrei Klimov
  • Re: PSI'19 submission deadline extended Andrei Klimov
  • Re: PSI'19 submission deadline extended Andrei Klimov
  • Re: PSI'19 submission deadline extended Николай Шилов
• Семинар памяти В.Ф.Турчина в четверг 19 апреля 2018 в ИПМ Andrei Klimov
  • Re: Семинар памяти В.Ф.Турчина в четверг 19 апреля 2018 в ИПМ Sergei Romanenko
• Регистрация докладов на конференцию Абрау 2018 Andrei Klimov
• 7 апреля - день памяти В.Ф. Турчина Andrei Klimov
  • Re: 7 апреля - день памяти В.Ф. Турчина Sergei M. Abramov
• Fwd: [SYRCoSE Colloquium] We would like to inform you that the paper... Andrei Klimov
• Fwd: A short CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia) Andrei Klimov
• Fwd: GPCE 2018 Call for Papers: Boston, MA, USA, Nov 5,6 ... Andrei Klimov
• Защита диссертации С.А. Гречаника 20 февраля 2018 Andrei Klimov
• 14 февраля – день рождения В.Ф. Турчина Andrei Klimov
• Fwd: SYRCoSE 2018: Reminder Andrei Klimov
  • Re: SYRCoSE 2018: Reminder Andrei Klimov
• FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) Andrei Klimov
• Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation Andrei Klimov
• FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation Andrei Klimov
• SoRuCom 2017: Конференция по истории программирования и выч.техн. в СССР и потом Andrei Klimov
  • Re: SoRuCom 2017: Конференция по истории программирования и выч.техн. в СССР и потом Andrei Klimov
  • Re: SoRuCom 2017: Конференция по истории программирования и выч.техн. в СССР и потом Arkady Klimov
  • Re: SoRuCom 2017: Конференция по истории программирования и выч.техн. в СССР и потом Andrei Klimov
• [PEPM 2018] First CFP Andrei Klimov

• Ранние (предыдущие) сообщения