首页> 美国政府科技报告 >Type-Checking Mini-Ml: An Algebraic Specification with User-Defined Syntax

【24h】

Type-Checking Mini-Ml: An Algebraic Specification with User-Defined Syntax

机译：类型检查mini-m1：具有用户定义语法的代数规范

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

An algebraic specification of a type-checker for Mini-ML, a sublanguage of ML, is given. As specification formalism a combination of the algebraic specification formalism and the syntax definition formalism is used.

著录项

作者
Hendriks, P. R. H.;
展开▼
作者单位

展开▼
年度 1987
页码 p.1-35
总页数 35
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Programming languages; Software engineering; Specifications; Formalism; Logic design; Mathematical logic; Semantics;

机译：编程语言;软件工程;规范;形式主义;逻辑设计;数学逻辑;语义学;

相似文献

外文文献
中文文献
专利

1. User-defined functions in the Arden Syntax: An extension proposal [J] . Harry Karadimas, Vahid Ebrahiminia, Eric Lepage Artificial intelligence in medicine . 2018,第NOVa期

机译：Arden语法中的用户定义函数：扩展建议
2. Automated specification inference in a combined domain via user-defined predicates [J] . Shengchao Qin, Guanhua He, Wei-Ngan Chin, Science of Computer Programming . 2017,第nova15期

机译：通过用户定义的谓词在组合域中自动进行规范推断
3. A declarative model specification system allowing NeuroML to be extended with user-defined component types [J] . Robert Cannon, Padraig Gleeson, Sharon Crook, BMC Neuroscience . 2012,第SUPPLEMENTa1期

机译：声明性模型规范系统，允许NeuroML扩展为用户定义的组件类型
4. Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations [C] . Frederic Blanqui International Workshop on Computer Science Logic(CSL 2005); 20050822-25; Oxford(GB) . 2005

机译：具有尺寸注释的代数构造微积分中类型检查的可判定性
5. A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications [D] . 石原, 靖哲 1995

机译：从通信协议的自然语言规范到可执行的代数规范的转换方法
6. A declarative model specification system allowing NeuroML to be extended with user-defined component types [O] . Robert Cannon, Padraig Gleeson, Sharon Crook, 1936

机译：声明性模型规范系统，允许NeuroML扩展为用户定义的组件类型
7. An algebraic specification language and a syntax directed editor. [O] . Lilly Norvell L. 1984

机译：代数规范语言和语法定向编辑器。

Type-Checking Mini-Ml: An Algebraic Specification with User-Defined Syntax

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅