14 grudnia 2020 23:21

Projekt Dariusza Biernackiego poświęcony zastosowaniu maszyn abstrakcyjnych w implementacji języków programowania uzyskał finansowanie w ramach polsko-francuskiego programu PHC Polonium.
 
Tytuł projektu: Abstract machines for programming languages: Investigations in formal interderivations
 
Celem projektu jest opracowanie nowych oraz automatyzacja istniejących metod konstrukcji maszyn abstrakcyjnych rozumianych jako most pomiędzy wysokopoziomową semantyką a niskopoziomową implementacją sekwencyjnych i współbieżnych języków programowania. Projekt stanowi kontynuację wcześniejszych badań prowadzonych w Zakładzie Języków Programowania II UWr i będzie realizowany w międzynarodowej współpracy ze specjalistami w dziedzinie procesów współbieżnych: Sergueïem Lenglet z Université de Lorraine w Nancy oraz Alanem Schmittem z Inria Rennes. Skład wrocławskiego zespołu zaangażowanego w projekt: Małgorzata Biernacka, Dariusz Biernacki, Maciej Buszka, Witold Charatonik i Tomasz Drab.
 
PHC Polonium programme