注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Unifying Theories of Programming - C.A.R. Hoare and He Jifeng, 1998.pdf

  2. Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of

  3. 所属分类：专业指导

    • 发布日期：2014-05-25
    • 文件大小：12582912
    • 提供者：stinta

  1. 确定不确定数据库中UTop-k查询的最小扫描范围

  2. 确定不确定数据库中UTop-k查询的最小扫描范围

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：274432
    • 提供者：weixin_38570145

  1. Punchscript：由Rajinikanth打Kong对话组成的编程语言-源码

  2. 打Kong稿 由Rajinikanth打Kong对话组成的命令式语言。 当前仅支持Integer数据类型。 这是Punchscr ipt中的Fizz Buzz样子： 更多示例在tests目录中。 安装 OCaml的最新稳定版本（在4.06.0中开发）应从opam获得。 安装Menhir，js_of_ocaml和其他依赖项 $ opam depext -i core merlin utop ocp-indent $ opam depext -i menhir js_of_ocaml-comp

  3. 所属分类：其它

    • 发布日期：2021-02-02
    • 文件大小：704512
    • 提供者：weixin_42097189