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

THEORETICAL COMPUTER SCIENCE 2010年第2期411卷 324-340页

作者： Fujita, Ken-etsu Gunma Univ Dept Comp Sci Kiryu Gunma 376 Japan

We show that there exist translations between polymorphic lambda-calculus and a subsystem of minimal logic with existential types, which form a Galois insertion (embedding). The translation from polymorphic lambda-calculus into the existential type system is the so-called call-by-name CPS-translation that can be expounded as an adjoint from the neat connection. The construction of an inverse translation is investigated from it viewpoint of residuated mappings. The duality appears not only in the reduction relations but also in the proof structures, such as paths between the source and the target calculi. From a programming point of view, this result means that abstract data types can interpret polymorphic functions under the CPS-translation. We may regard abstract data types as a dual notion of polymorphic functions. (C) 2009 Elsevier B.V. All rights reserved.

关键词： Galois connection CPS-translation polymorphic functions Abstract data types Proof duality

来源：评论

学校读者我要写书评

暂无评论

C∀: Adding modern programming language features to C

引用

SOFTWARE-PRACTICE & EXPERIENCE 2018年第12期48卷 2111-2146页

作者： Moss, Aaron Schluntz, Robert Buhr, Peter A. Univ Waterloo Cheriton Sch Comp Sci 200 Univ Ave West Waterloo ON N2L 3G1 Canada

The C programming language is a foundational technology for modern computing with millions of lines of code implementing everything from hobby projects to commercial operating systems. This installation base and the programmers producing it represent a massive software engineering investment spanning decades and likely to continue for decades more. Nevertheless, C, which was first standardized almost 30 years ago, lacks many features that make programming in more modern languages safer and more productive. The goal of the C for all project (pronounced "C for all") is to create an extension of C that provides modern safety and productivity features while still ensuring strong backward compatibility with C and its programmers. Prior projects have attempted similar goals but failed to honor the C programming style;for instance, adding object-oriented or functional programming with garbage collection is a nonstarter for many C developers. Specifically, C for all is designed to have an orthogonal feature set based closely on the C programming paradigm, so that C for all features can be added incrementally to existing C code bases, and C programmers can learn C for all extensions on an as-needed basis, preserving investment in existing code and programmers. This paper presents a quick tour of C for all features, showing how their design avoids shortcomings of similar features in C and other C-like languages. Experimental results are presented to validate several of the new features.

关键词： C Cforall generic types polymorphic functions tuple types variadic types

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：