回答情况：
提问时间：
问题标签：
有一种编程“样式”(或者范式，我不知道该如何称呼它)如下所示：
首先，编写一个规范:对(整个或部分)程序所要做的事情进行正式描述。这是在编程系统中完成的；它不是一个单独的工件。然后，编写程序，但是--这是这种编程风格和其他编程风格之间的关键区别--这个编写任务的每一步都在某种程度上由您在前一步中编写的规范所指导。这个指导是如何发生的?在Coq中，您有一种元编程语言(Ltac)，它允许您在幕后构建实际程序的同时“细化”规范，而在Agda中，通过填充“漏洞
浏览 8提问于2020-12-24得票数 1
Graphql规范已经在许多编程语言中实现，但还没有针对我感兴趣的编程语言的实现。我想知道这些实现是如何创建的？除了规范本身，还有什么参考资料或教程吗？
浏览 16提问于2019-03-27得票数 0
看完这些书后
J.D. Ullman，ML编程的元素
我有一些问题..。我不明白某些行的意思，我也有一些问题。这意味着什么?什么是“可执行规范”？(1) SML中的可执行语言语义规范作为语言实现的快速原型。(3)推理语义在可用的体系结构/机器上为命令式编程语言的实现
浏览 5修改于2020-06-20得票数 1
在我的当前项目中，我编写高级规范(如下所示)，并使用用ANTLR编写的语法进行解析，然后使用StringTempate生成等效的Java编程代码。现在，我的客户机发现编写这个文本高级规范很困难，希望我提供等效的可视拖放编程结构和编辑器来指定这个编程结构。我的问题是：是否提供任何拖放工作台来开发可视化编程构造和编辑器？
浏览 2修改于2015-06-28得票数 9
回答已采纳
根据，Lagoona编程语言应该自然地、完全地支持面向组件的编程(和DbC)，并且是用.Net实现的；但是我没有找到它的编译器、规范和代码示例。有没有人知道在哪里/如何获得这些(编译器、规范或代码示例)？
浏览 3修改于2011-09-29得票数 1
回答已采纳
我理解COM实际上是一种编程方式(即类似于结构化编程，或OO编程)。然而，它有点老了。所以我想知道是什么真正取代了这套规范？我会在.NET文档中找到它吗？
浏览 2提问于2012-03-06得票数 2
1回答
来自wc3为什么不用编程语言就可以编写接口呢？此外，如何使用任何编程语言与DOM交互？
如果有人发明了一种新的编程语言，他需要做哪些步骤才能与DOM进行交互？
浏览 0修改于2012-12-05得票数 5
回答已采纳
在基于抽象代数类型和方程理论的形式规范中，您可以使用方程理论的公式来指定理论。在形式逻辑中，满足这些约束的系统称为模型。编程是一个创建程序的过程，该程序将具有特定的行为-将执行特定的算法-编程语言通过不同的范例使我们能够以某种特定的方式思考，抽象出一些细节，通常是机器特定的细节。声明性编程是不是最近的尝试呢？我们是否可以使用一些编程语言，这些语言对编程、建模和规范都有好处？
浏览 3提问于2010-04-11得票数 1
回答已采纳
6回答
我想知道如何在编程语言特性和平台特性之间划清界限。
例如，Linq是C#语言特性还是.NET特性。编程语言是否像平台的规范一样工作？
浏览 1提问于2010-11-03得票数 5
回答已采纳
github项目PowerAPI提供了一个用于从PowerSchool SISes获取信息的PHP库，但这似乎不是源自PowerSchool。API文档可以从一些官方来源获得吗？
浏览 8修改于2018-03-05得票数 4
4回答
我正在准备SCJP6考试，我需要一些关于阅读Java语言规范的有用的建议。因为考试需要具备java代码分析方面的专业知识。我已经在阅读哈立德·莫卧儿的SCJP A综合。
浏览 4提问于2010-10-18得票数 1
回答已采纳
2回答
Coq有一种Gallina形式的规范语言。据我所知，Coq本身是用OCaml编写的。
我的问题是，Gallina什么时候开始发挥作用？它是用来做什么的，为什么？我想我误解了规范语言和编程语言的使用。
浏览 39修改于2019-08-15得票数 1
对于USB主机控制器，有定义如何对驱动程序进行编程的UHCI/UHCI/EHCI/XHCI规范。USB设备控制器是否有相应的规范？
浏览 12提问于2020-05-26得票数 0
回答已采纳
我使用phone gap框架开发android应用程序，我的规范是发送电子邮件，为此我使用web intent插件发送电子邮件，默认情况下我可以通过编程指定邮件的主题和正文，但我不能通过编程来完成的联系人需要手动完成有没有其他方法可以通过编程方式发送联系人？
谢谢。
浏览 1修改于2012-03-06得票数 1
回答已采纳
静态元编程(也称为“模板元编程”)是一种很棒的C++技术，它允许在编译时执行程序。当我读到这个规范的元编程示例时，我的脑海中顿时亮起了灯泡：using namespace std;
struct factorial= " << factorial< 7 >::ret << endl; // 5040}
如果想了解更多关于C++
浏览 0修改于2010-09-22得票数 116
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号