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

Modular typechecking for hierarchically extensible datatypes and functions

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 2004年第5期26卷 836-889页

作者： Millstein, T Bleckner, C Chambers, C Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90095 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

One promising approach for adding object-oriented (00) facilities to functional languages like ML is to generalize the existing datatype and function constructs to be hierarchical and extensible, so that datatype variants simulate classes and function cases simulate methods. This approach allows existing datatypes to be easily extended with both new operations and new variants, resolving a longstanding conflict between the functional and 00 styles. However, previous designs based on this approach have been forced to give up modular typechecking, requiring whole-program checks to ensure type safety. We describe extensible ML (EML), an ML-like language that supports hierarchical, extensible datatypes and functions while preserving purely modular typechecking. To achieve this result, EMUS type system imposes a few requirements on datatype and function extensibility, but EML is still able to express both traditional functional and 00 idioms. We have formalized a core version of EML and proven the associated type system sound, and we have developed a prototype interpreter for the language.

关键词： design languages theory extensible datatypes extensible functions modular typechecking

来源：评论

学校读者我要写书评

暂无评论

Modular typechecking for hierarchically extensible datatypes and functions 02

Modular typechecking for hierarchically extensible datatypes...

引用

7th International Conference on Functional Programming

作者： Millstein, T Bleckner, C Chambers, C Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90095 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

ISBN: (纸本)9781581134872

关键词： design languages theory extensible datatypes extensible functions modular typechecking

来源：评论

学校读者我要写书评

暂无评论

Extensão de uma linguagem de consulta para documentos xml com características de tempo e de versão

Extensão de uma linguagem de consulta para documentos xml c...

引用

作者： Gomes, Cláudio Hessel Peixoto

The use of the XML in applications involving databases has grown in the last two years. Recent versions of the main database management systems already incorporate this technology. Publishing relational data in XML can be identified as one of the different applications of XML. The Temporal Version Model (TVM) has no support in current databases. This model matches temporal features with the version concept to project object-oriented applications and needs to be mapped to be managed in a DBMS (Database Management System). Once this mapping is achieved, TVM applications can also generate XML views. This work presents initially a way to represent TVM instances in a XML format. Thus, documents created following this representation may be used in queries. Afterwards, an extension of a XML query language is proposed, aiming to provide features for the retrieval of temporal and version information represented in XML documents. Temporal and version functions are defined and incorporated in a base language. The way functions are executed and the specification of temporal version queries are described in details. A tool that implements the base language is used to test the new functions, with the aim of validation. ...

关键词： XML (Linguagem de marcação) XML Linguagens : Consulta TVM TVQL Banco : Dados Versoes : Banco : Dados XML query languages Modelo temporal XQuery extensible functions Dissertação

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：