Nie jesteś zalogowany |
Powrót do listy grantów
Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów
- 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
