Andy Melnikov (nponeccop) wrote,
Andy Melnikov
nponeccop

Формальная семантика Сишечки - литература

A Formal Semantics for the C Programming Language, Nikolaos S. Papaspyrou, 1998

Mechanized semantics for the Clight subset of the C language
Sandrine Blazy, Xavier Leroy

An Executable Semantics For C Is Useful
Tags: fp, programming, литература
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 37 comments