Domain-Specific Modeling Language (DSML) defined by informal way cannot precisely represent its structural semantics, so properties of models such as consistency cannot be systematically analyzed and verified. In response, the paper proposes an approach for automatical-ly reasoning consistency of DS

Domain-Specific Modeling has been widely and successfully used in system design and modeling of specific areas. Due to informal definition of Domain-Specific Modeling Language (DSML) and Meta-Modeling Language (DSMML), the structural semantics of DSMLs and DSMMLs cannot be strictly described and the

Due to informal definition of Domain-Specific Metamodeling Language (DSMML), properties of metamodels built based on DSMML cannot be precisely and automatically analyzed. In response, based on formalization of DSMML named XMML, the paper proposes an automatic mapping mechanism for formalizing metamo

The Rust Programming Language (Covers Rust 2018)

是作为一种编程语言的Python实现。 由于Angle可以编译为Python字节码，因此可以用作经典Python的替代品，并且即使在PyCharm中也可以完全调试。 目前正在开发中，可以通过直接在WASM中运行。 这种语言的主要目的是方便通过语音对计算机进行编程。 是第一种可说的编程语言，因此使更多的人可以访问该程序。 :desktop_computer: 安装 pip install angle angle examples 或从来源： git clone --recursive git@github.com:pannous/angle.git cd angle; ./install.sh 启动外壳： ./bi

马64 欢迎使用Horse64语言。 func main { print("Hello World, from Horse64!") } 您发现了一种用于后端，移动和桌面程序的简单通用的编程语言。 与Python等脚本语言相比， Horse64的专注于改善大型项目的处理能力，同时保持其易用性。 Horse64是BSD-2条款许可下的所有免费软件，不包括徽标。 我们还有一个开放的。 开始使用 帮助和文档 提案与语言设计 是否发现了一个潜在的问题，而不是与任何实现错误有关，而是与Horse64的通用语言设计有关？ 您是否认为设计中缺少重要的内容？ 。 在提出想法时，请牢记。 高级

LuaCSP：在Lua中通信顺序过程

斯坦福-张量流教程 该存储库包含课程CS 20：TensorFlow for Deep Learning Research的代码示例。 它会随着课程的进行而更新。 详细的教学大纲和讲义可在找到。 在本课程中，我使用python3.6和TensorFlow 1.4.1。 有关上一年课程的代码和注释，请参阅文件夹2017和网站 有关安装说明和依赖项列表，请参见此存储库的安装文件夹。

ACL选集 这些是生成ACL Anthology网站的基本说明，如。 该存储库的官方主页是 。 选集 先决条件 要构建Anthology网站，您需要： Python 3.7或更高版本 在bin/requirements.txt列出的Python软件包； 要安装，请运行pip -r bin/requirements.txt 或更高版本（可以；需要扩展版本！） 用于创建非BibTeX引用格式的 （并非严格要求构建网站，但是如果没有它们，则您需要按照所述手动调用构建步骤） 可选：如果在第一次运行make之前安装libyaml-dev和Cython ，将使用libyaml C库而不是python实现，从而加快了构建速度。 使用GitHub构建和部署 有一个GitHub action操作直接从GitHub执行部署。 要使用此功能，您需要在存储库设置（Web界面：设置->机密）中定义以下变量： PUBLISH_TARGET ：rsync将把选集推送到该目标（例如， user@aclweb.org:anthology-static ） PUBLISH_SSH_KEY ：标准pem格式的密

编程语言中的快速反平方根 这是我用多种语言编写快速反平方根算法所面临的挑战的资源库。 用多种语言编写一种算法很有趣。 我用从未有过的语言写过一些代码。 我了解了语言之间的差异和相似之处，以及其他语言如何影响语言。 这个挑战只是我前进的道路。 现在，我想继续学习一些在挑战之前从未想到过的语言。 例如，我从未经历过Rust，OCaml和Erlang，但现在我认为我应该继续学习这些语言。 为什么选择此算法？ 这是C语言的实现。 float fastInvSqrt ( float x) { int i = *( int *)&x; i = 0x5f3759df - (i >> 1 ); float y = *( float *)&i; return y * ( 1 . 5F - 0 . 5F * x * y * y); } 指针转换魔术是该算法的最重要部分。 我不解释为什么代码在这里起作用，请参考其他参考。 首先，选择算法不应太容易，也不应太困难。 如果问题很容易解决，我可以看一眼语言教程就能编写代码。 另一方面，如果太困难，我可以放弃挑战。 其次，在某些语言中