Pytania otagowane jako operational-semantics

1
Czy potrafimy rozróżnić metody ściśle składniowe i semantyczne w języku programowania?
Chociaż dyskusje dowodzą silnych dowodów na normalizację, komentarz ten kontrastuje „model form normalnych” z „metodami czysto składniowymi”. To sprowadza mnie z powrotem do bardziej podstawowego pytania: czy nadal możemy dokładnie rozróżniać konstrukcje składniowe i semantyczne w obliczu modeli opartych na składni? Co z modelami terminów dla algeb, modelami Henkina dla …
1
Czy call / cc Scheme może implementować wszystkie znane struktury przepływu sterowania?
Strona „Advanced Scheme: Some Naughty Bits” stanowi: Kontynuacje są potężnym konstruktem sterowania przepływem, z którego można wyprowadzić prawie każdą inną strukturę przepływu sterowania [...]. Myślałem, że Scheme call/cc, związane (*) z operatorem J Petera Landina, może być wykorzystane do wdrożenia dowolnej znanej struktury przepływu sterowania? W „strukturze kontroli przepływu” szczególnie …
3
Dla jakich języków istnieje już teoria równoważności obserwacyjnej?
Dla potwierdzenia poprawności szukam użytecznego pojęcia równoważności programu dla systemów czystego typu (PTS) Barendregta; brakuje tego, dla wystarczającej liczby systemów określonego typu. Moim celem jest po prostu użycie tego pojęcia, a nie badanie go dla samego siebie.≅≅\cong Pojęcie to powinno być „ ekstensywne ” - w szczególności, aby udowodnić, że …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.