Pytania otagowane jako denotational-semantics

2
Na jakie pytania semantyka denotacyjna może odpowiedzieć, na co semantyka operacyjna nie może?
Znam semantykę operacyjną (zarówno małą, jak i dużą) do definiowania języków programowania. Interesuje mnie również nauka semantyki denotacyjnej, ale nie jestem pewien, czy będzie to warte wysiłku. Czy po prostu będę uczyć się tego samego materiału z innego punktu widzenia, czy też są spostrzeżenia, które mogę uzyskać tylko dzięki zrozumieniu …

4
Co oznacza wiodący operator kołowrotu?
Wiem, że różni autorzy używają różnych notacji do reprezentacji semantyki języka programowania. W rzeczywistości Guy Steele rozwiązuje ten problem w ciekawym filmie . Chciałbym wiedzieć, czy ktoś wie, czy wiodący operator bramki obrotowej ma dobrze rozpoznane znaczenie. Na przykład nie rozumiem wiodącego operatora na początku mianownika:⊢⊢\vdash x:T1⊢t2:T2⊢λx:T1.t2 : T1→T2x:T.1⊢t2):T.2)⊢λx:T.1.t2) : …
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.