senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. Q (masterq@pawoo.net)'s status on Friday, 01-Feb-2019 17:50:05 JST Q Q

    なぜかプロジェクトの都合上、 #Rust にちょっとだけさわることになり、発表することになりました。
    "C言語からRustへの変換手法としてcorrodeとc2rustが広く知られています。前者は純粋なHaskell実装で、後者はRust+Clang+Emscriptenで実現されています。両者の比較のためにBSD catコマンドを両ツールでRustに変換してみました。変換してcorrodeの結果とc2rustの結果が得られました。変換結果を眺めながらCFGの特性などを比較します。また発表者は変換結果をrustcでコンパイルできなかったので助言がいただけると助かります。"
    https://metasepi.connpass.com/event/104949/

    In conversation Friday, 01-Feb-2019 17:50:05 JST from pawoo.net permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: connpass-tokyo.s3.amazonaws.com
      (会場変更しました) #静的コード解析の会 第9回 (2019/02/09 12:45〜)
      from connpass
      # 静的コード解析とこの勉強会について 静的コード解析をご存知でしょうか。静的コード解析とは、コンピュータのソフトウェアの解析手法の一種で、ソフトウェアを実行することなく解析を行うことです。このよ うな手法には以下のように様々な実装があります: * ATS, B-Method, CBMC, Coq, Coverity Scan, CSP, Dafny, F*, Frama-C, FreeSafeTy, Infer, Isabelle, SATABS, SPARK, Spin, SyncStitch, Uppaal, VDM, VeriFast, Why3, boogie, cog...
    • Masanori Ogino ???? repeated this.

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.