semantics

1热度

1回答

我正在关注Redex的amb tutorial，并且同时为皮尔斯类型和编程语言中的类型化算术表达式构建了一个模型。我已经定义了这种小语言的语法和类型系统，但我很难定义它的小步语义。在我解决问题之前，让我介绍一下迄今为止的定义。首先，我定义了语言的语法。 (define-language ty-exp [E (ttrue) (ffalse) (zero)

3热度

1回答

如何在Intellij Idea中突出显示不同的图书馆类别？

我试图配置IntelliJ Idea以突出显示来自当前项目和类库/ JDK中的类的不同方式。这将有助于轻松了解所有这些类别的来源，如Transaction,Request,Query,Column。另外，在调试过程中，它只允许使用项目中的代码来执行代码行为（通常，它更具有bug和可疑性）。是的，我知道关于Ctrl+hover on symbol/Ctrl+Q/Smart step into。但视

1热度

1回答

RDF可以在MarkLogic中与JSON一起使用吗？

据我所知，MarkLogic将RDF存储为XML。但是如果我需要将RDF与JSON文档一起使用会怎么样。如何使用RDF建模我的JSON文档？此外，如果这是可能的，我怎么一起查询JSON和RDF？在此先感谢。

-1热度

1回答

公理语义 - 如何计算最弱的前提

这里是例子： x = y + 1; y = y - 2; {y < 3} 什么是这个例子中的最弱前置条件？我想也许y < 3是一个答案。如果不是，你能详细告诉我为什么吗？

3热度

3回答

迭代语句后的语句终止符（;）运算符：结束迭代语句本身，还是不可见的空语句？

在this answer，我们敬爱的乔恩斯基特认为do {} while()需要一个语句终止符，因为while()需要一个语句体中，并且进入举例，该案件： while (true);（空语句）或while (true) {}（块语句） ...将是有效的。事情很简单，第二个例子; while循环执行空的复合（块）语句（{}）。第一个例子然而，随着飞碟双向的说明书一起，引发了一个有趣的问题对我说：

0热度

2回答

等于是否意味着相等的散列值？

我目前正在研究一种图形数据类型，在这种情况下，我已经考虑了很多关于身份和平等的语义问题。我现在的情况如下。我有一个Vertex类型： final class Vertex<T>: Hashable { static func ==(lhs: Vertex, rhs: Vertex) -> Bool { return lhs === rhs } var

1热度

1回答

Gensim Doc2Vec为模型生成巨大的文件

我想从gensim包运行doc2vec库。我的问题是，当我在训练和保存模型的模型文件是相当大（2.5 GB），我尝试使用这一行： model.estimate_memory() 但它并没有改变任何东西。我也试图改变max_vocab_size来减少空间。但没有运气。有人可以帮我解决这个问题吗？

2热度

1回答

是否有可能找到具有相同dom结构的节点

我已经通过Scrapy从许多网站爬取了许多htmls（具有类似内容），而dom结构不同。例如，一个站点使用以下结构： <div class="post"> <section class='content'> Content1 </section> <section class="panel"> </section> </div> <div

1热度

1回答

需要换行或EOF声明赛后

就找得到ANTLR4生成一个解析器，将做如下的简单方法（忽略任何后;）： int #i ; defines an int int #j ; see how I have to go to another line for another statement? 我解析器是作为以下： compilationUnit: (statement END?)* statement E

-2热度

2回答

我想我的语义代码

好家伙早上好我想语义我最近的项目之一，但我不知道我对你刚才创建我的代码人们也我有一个部分的图片我想在图片使用标记为突出显示部分（请参见图片）是有效使用部分标签在这里？我对于这部分代码： <section class="customer-receipts"> <div class="image-part"> <figure> <img src="h56.