formal-methods
Jakie są najciekawsze ekwiwalencje wynikające z izomorfizmu Curry ' ego-Howarda?
Natknąłem się naIzomorfizm Curry ' ego-Howarda stosunkowo późno w moim życiu programistycznym i być może to przyczynia się d ... tion | syllogism -- from Apocalisp
continuation-passing | double negation -- from camccann
Czy funkcje Haskella można udowodnić/sprawdzić / zweryfikować z poprawnością właściwości?
Kontynuując od idei w: Czy istnieją jakieś udowodnione języki świata rzeczywistego?
Nie wiem jak wy, ale mam dość pisania ko ... asuje? Jeśli sugerujesz inny język, upewnij się, że przeszedł test "has-a-web-framework" i przeczytaj oryginalne pytanie :-)
Nauczanie programowania i metod formalnych [zamknięte]
zamknięte . To pytanie jest oparte na opinii . Obecnie nie przyjmuje odpowiedzi.
... moje pytanie: w jakim języku(językach) powinienem nauczyć moich czytelników, aby kierować ich formalnie opracowane programy?
Doświadczenia z wykorzystaniem stopu w rzeczywistych projektach
Od jakiegoś czasu interesuję się metodami formalnymi. Użyłem formalnych metod, aby wyjaśnić niektóre bardzo specyficzne obsza ... to w zaprojektowaniu lepszego modelu domeny? Czy znalazłeś błędy w modelu domeny podczas weryfikacji? Użyłbyś go jeszcze raz?
Jaki jest najlepszy sposób wyznaczania niezmiennika pętli?
Czy przy użyciu formalnych aspektów do stworzenia jakiegoś kodu istnieje ogólna metoda określania niezmiennika pętli, czy będzie zupełnie inna w zależności od problemu?