Dmitri Boulytchev
Dmitri Boulytchev
Associate Professor of Computer Science, Saint-Petersburg State University
Подтвержден адрес электронной почты в домене math.spbu.ru - Главная страница
НазваниеПроцитированоГод
On project-specific languages and their application in reengineering
D Boulychev, D Koznov, AA Terekhov
Proceedings of the Sixth European Conference on Software Maintenance and …, 2002
122002
Hardware description language based on message passing and implicit pipelining
D Boulytchev, O Medvedev
2010 East-West Design & Test Symposium (EWDTS), 438-441, 2010
112010
An Empirical Study of Retargetable Compilers
D Boulytchev, D Lomov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
112001
Typed embedding of a relational language in OCaml
D Kosarev, D Boulytchev
arXiv preprint arXiv:1805.11006, 2018
102018
BURS-based instruction set selection
D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
82006
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A Podkopaev, D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
52014
Combinators and type-driven transformers in Objective Caml
D Boulytchev
Science of Computer Programming 114, 57-73, 2015
32015
Typed Relational Conversion
P Lozov, A Vyatkin, D Boulytchev
International Symposium on Trends in Functional Programming, 39-58, 2017
22017
Improving Refutational Completeness of Relational Search via Divergence Test
D Rozplokhas, D Boulytchev
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
12018
Precise garbage collection for C++ with a non-cooperative compiler
D Berezun, D Boulytchev
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
12014
Teaching Compiler Development using .NET Platform
A Terekhov, D Boulychev, A Moscal, N Voyakovskaya
Proceedings of the 2nd International Workshop on .NET Technologies, Plzen …, 2004
12004
Code Reuse With Transformation Objects
D Boulytchev
arXiv preprint arXiv:1802.01930, 2018
2018
Efficiently Scrapping Boilerplate Code in OCaml
D Boulytchev, S Mechtaev
2011
Relational Conversion for OCaml
P Lozov, D Boulytchev
Cooking Raw Types in Java
D Boulytchev, E Vigdorchik
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–15