腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
规范
语言
vs
编程
语言
、
Coq有一种Gallina形式的
规范
语言
。据我所知,Coq本身是用OCaml编写的。 我的问题是,Gallina什么时候开始发挥作用?它是用来做什么的,为什么?我想我误解了
规范
语言
和
编程
语言
的使用。
浏览 39
提问于2019-08-14
得票数 1
1
回答
可执行
规范
..?如何使用可执行的
规范
快速原型?
、
、
看完这些书后 J.D. Ullman,ML
编程
的元素 我有一些问题..。我不明白某些行的意思,我也有一些问题。这意味着什么?什么是“可执行
规范
”?(1) SML中的可执行
语言
语义
规范
作为
语言
实现的快速原型。 (2)可执行
规范
如何用于快速成型
浏览 5
提问于2013-05-12
得票数 1
1
回答
如何在特定的
编程
语言
中创建Graphql实现?
、
、
、
Graphql
规范
已经在许多
编程
语言
中实现,但还没有针对我感兴趣的
编程
语言
的实现。我想知道这些实现是如何创建的?除了
规范
本身,还有什么参考资料或教程吗?
浏览 16
提问于2019-03-27
得票数 0
1
回答
DOM
语言
是如何独立的?
、
、
、
、
引用维基百科为了提供一个精确的、与
语言
无关的DOM接口
规范
,我们选择在OMG IDL中定义
规范
。现在,我一直在用Java、C#和PHP进行
编程
,在所有这些
语言
中都提供了关键字interface,但是如何实现一个与
语言
无关的接口呢? 为什么不用
编程
语言
就可以编写接口呢?此外,如何使用任何<em
浏览 0
提问于2012-12-05
得票数 5
回答已采纳
1
回答
标记中源代码的语义、标准和使用"lang“属性
、
、
、
正如Brian指出的那样,这两个元素当然都应该用于预先格式化的代码)这将是在标记中以语义一致的方式包含的有用信息。(强调地雷)
规范
确实允许使用x主标记添加“试验性”或“专用”代码。
规范
中的示例是lang="x-klingon"。从理论上讲,您可以使用x-ruby、x-java等来声明包含在<pre>块中的
编程
<em
浏览 3
提问于2011-02-27
得票数 22
回答已采纳
6
回答
语言
特性vs框架特性
、
、
我想知道如何在
编程
语言
特性和平台特性之间划清界限。 例如,Linq是C#
语言
特性还是.NET特性。
编程
语言
是否像平台的
规范
一样工作?
浏览 1
提问于2010-11-03
得票数 5
回答已采纳
1
回答
它的意思是"IronPython是programming
语言
的实现“
、
、
、
、
我知道问题看起来很宽泛,而且很主观,但是到处都被IronPython的定义所困扰-- "IronPython是programming
语言
的一种实现“--请随意将其标记为重复,如果任何这样的帖子都能准确地回答这个问题3) IronPython.dll公开了.net与任何其他.net
语言
的代码集成。我确信我的理解是不正确的-- "IronPython是programming
语言
的一个实现“,因为从这里看,它似乎是一种契约,它指定了如何编写检查条件if condition,而像IronPython这样的实现者负责将它转换成
浏览 4
提问于2018-03-03
得票数 0
回答已采纳
3
回答
依赖类型(例如Coq或Agda)启用的
编程
风格的名称是什么?
、
、
、
、
有一种
编程
“样式”(或者范式,我不知道该如何称呼它)如下所示: 首先,编写一个
规范
:对(整个或部分)程序所要做的事情进行正式描述。这是在
编程
系统中完成的;它不是一个单独的工件。然后,编写程序,但是--这是这种
编程
风格和其他
编程
风格之间的关键区别--这个编写任务的每一步都在某种程度上由您在前一步中编写的
规范
所指导。这个指导是如何发生的?在Coq中,您有一种元
编程
语言
(Ltac),它允许您在幕后构建实际程序的同时“细化”
规范
,而在Agda
浏览 8
提问于2020-12-24
得票数 1
1
回答
深入理解
编程
语言
及其
规范
和语法的资源
、
、
、
我是一名计算机工程师,所有关于
编程
和计算机
语言
的课程都是对C/Java和OOP的介绍。现在,我想阅读Java
语言
规范
来学习对Java
语言
的深入理解,但我明白
规范
中有一些类似语法的描述,我对此一无所知。我应该学习什么才能深入理解
编程
语言
(特别是
规范
元素,如语法)?我错过了一些计算机科学课程吗?还是我应该凭直觉理解一切? 我在考虑读一些关于编译器的书,但我觉得最好还是向专家请教一下吧!
浏览 0
提问于2013-11-23
得票数 2
回答已采纳
4
回答
阅读java
编程
语言
规范
、
我正在准备SCJP6考试,我需要一些关于阅读Java
语言
规范
的有用的建议。因为考试需要具备java代码分析方面的专业知识。我已经在阅读哈立德·莫卧儿的SCJP A综合。
浏览 4
提问于2010-10-18
得票数 1
回答已采纳
3
回答
C++和C#
规范
?
、
、
如果您想阅读C
语言
的“源”,请使用Kernighan;Ritchie;0131103628编写的C
编程
语言
但是如果你想读一本关于C++和C#上的“
规范
”的好书,你会读些什么呢?
浏览 3
提问于2009-09-17
得票数 1
回答已采纳
5
回答
如何编写
编程
语言
规范
?
、
、
我真的很喜欢
编程
语言
设计。有时,我认为我的
语言
项目及其潜在用户将受益于一份全面的标准文件。我看过许多
语言
标准,从非常正式的(C++)到相当非正式的(ECMAScript),但我无法真正掌握如何分解和组织这样的文档,尽管我认为我在总体上非常擅长技术写作。要求一个标准是否意味着
语言
是不必要的复杂?
浏览 0
提问于2010-12-03
得票数 20
回答已采纳
1
回答
基于JFlex和CUP的形式化需求描述
语言
编译器构造
、
、
我计划为需求
规范
语言
构建编译器。我提出了使用JFlex作为词法分析器,使用CUP作为解析器的想法。 有没有人可以让我知道可以使用JFlex和CUP作为正式
规范
语言
?所有文档和教程都只与
编程
语言
相关。任何可用于构建正式
语言
编译器的教程。
浏览 11
提问于2012-04-10
得票数 1
回答已采纳
3
回答
Java库
规范
、
从java
语言
规范
的第二版序言:我正在寻找作为Java
编程
语言
一部分提供的标准库的
规范
。有指针指向它吗?在甲骨文上没有找到。
浏览 2
提问于2013-08-19
得票数 3
1
回答
是否有任何由引用实现定义的
编程
语言
?
一些主要的
编程
语言
(见下面的列表)是由
规范
定义的。但原则上,您也可以通过实现引用编译器/解释器来定义
语言
。(我不想说这是个好主意。)但我很好奇:程序设计
语言
规范
列表 C:至少3种规格。C+
浏览 4
提问于2014-03-16
得票数 1
1
回答
Gallina和OCaml之间的关系是什么?
、
、
我了解到Coq是用OCaml编写的,但它的
规范
语言
是Gallina。除了它们都是函数式
编程
语言
之外,这两种
语言
有什么关系?
浏览 2
提问于2019-05-28
得票数 1
1
回答
从哪里获得拉古纳编译器和
规范
?
、
根据,Lagoona
编程
语言
应该自然地、完全地支持面向组件的
编程
(和DbC),并且是用.Net实现的;但是我没有找到它的编译器、
规范
和代码示例。有没有人知道在哪里/如何获得这些(编译器、
规范
或代码示例)?
浏览 3
提问于2011-09-29
得票数 1
回答已采纳
2
回答
为解析器/词法
规范
提供类型系统?
、
、
、
、
人们通常认为,与动态
语言
(如Python或JavaScript )相比,函数式
编程
语言
(如Ocaml或JavaScript)具有一种类型系统,可以使我们在编写代码上花费更多的时间,在调试上的时间更短。现在,我正在编写一个解析器
规范
,用于FsLexYacc、F# Lexer和parser包。解析器
规范
如下所示,用于解析整数和标识符名称:%token <string> NAME NAME {VAR $1} |CSTIN
浏览 1
提问于2020-07-24
得票数 2
回答已采纳
2
回答
什么是在Java中掩盖
编程
错误?
在
语言
规范
中,它说: 在Java中,什么是掩蔽
编程
错误?
浏览 8
提问于2012-12-03
得票数 2
回答已采纳
1
回答
规范
、建模和
编程
基本上是一样的,对吧?
、
、
在基于抽象代数类型和方程理论的形式
规范
中,您可以使用方程理论的公式来指定理论。在形式逻辑中,满足这些约束的系统称为模型。
编程
是一个创建程序的过程,该程序将具有特定的行为-将执行特定的算法-
编程
语言
通过不同的范例使我们能够以某种特定的方式思考,抽象出一些细节,通常是机器特定的细节。声明性
编程
是不是最近的尝试呢?我们是否可以使用一些
编程
语言
,这些
语言
对
编程
、建模和
规范
都有好处?
浏览 3
提问于2010-04-11
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
嵌入式C语言编程规范
Uber正式开源Go语言编程规范,内部已使用多年
Java编程规范之命名规范
C+编程规范
Shell编程规范-关于分支
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
云直播
活动推荐
运营活动
广告
关闭
领券