Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Paweł Urzyczyn
Numer umowy: 3 T11C 002 27
Data rozpoczęcia: 29 października 2004
Data zakończenia: 28 października 2007
Finansowany przez: Komitet Badań Naukowych
Wykonawcy: dr Daria Walukiewicz-Chrząszcz, dr Aleksy Schubert, dr Jacek Chrząszcz, mgr Michał Gajda, mgr Patryk Czarnik; mgr Jarosław Kuśmierek
Słowa kluczowe: wspomagane komputerowo dowodzenie twierdzeń, badanie poprawności oprogramowania, system Coq, rachunek lambda, rachunek konstrukcji, przepisywanie termów, programownaie funkcyjne i obiektowe

Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów