检索结果-内蒙古大学图书馆

From lucid to Translucid: Iteration, Dataflow, Intensional and Cartesian programming

MATHEMATICS IN COMPUTER SCIENCE 2008年第1期2卷 37-61页

作者： Plaice, John Mancilla, Blanca Ditu, Gabriel Univ New South Wales Sch Comp Sci & Engn Sydney NSW 2052 Australia

We present the development of the lucid language from the Original lucid of the mid-1970s to the Translucid of today. Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand. The Original lucid (1976), originally designed for purposes of formal verification, was used to formalise the iteration in while-loop programs. The plucid language (1982) was used to describe dataflow networks. Indexical lucid (1987) was introduced for intensional programming, in which the semantics of a variable was understood as a function from a universe of possible worlds to ordinary values. With Translucid, and the use of contexts as firstclass values, programming can be understood in a Cartesian framework.

关键词： Declarative programming multidimensional programming lucid programming language

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：