2017-02-04 01 Евгений Тюменцев. Выразительные возможности языков программирования

  • View
    29

  • Download
    3

Embed Size (px)

Transcript

  • HWdTech

  • .

    A = { _ | =1,2, , }.

  • A

  • , ( ), , = .

  • A ( ).

    ( ) A .

  • ++void f() {}

    class A{public: void DoSomething();};

  • L , L. F: X , X , F(x) - x.

  • : L , , C.

    /

  • ?

    1980 Michael O'Donnell A Critique of the Foundations of Hoare-Style Programming Logics

    2001 . . , . . , . . , . . , . . , . . , . . , . . ,

  • . P1 P, B = { x | P1(x) = 1},A = { x | P (x) = 1}. B A.

    P P1. , P , P1 .

  • -

    P1 P, {P} S {Q}, Q Q1 {P1} S {Q1}

    P1 P, {P} S {Q} {P1} S {Q}{P} S {Q}, Q Q1 {P} S {Q1}

  • -

  • -

  • L = {{P} f {Q}, }, B .

    P^BP (A3 ){P^B}f{Q} ( ){P}if (B) then f endif {Q} ( )

  • , if while .

    , .

  • if while - ...

  • : vk.com/hwdtech

    : hwdtech.ru