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

Security type error diagnosis for higher-order, polymorphic languages

SCIENCE OF COMPUTER programMING 2014年第Part2期95卷 200-218页

作者： Weijers, Jeroen Hage, Jurriaan Holdermans, Stefan Univ Utrecht Dept Inf & Comp Sci NL-3508 TB Utrecht Netherlands Vector Fabr NL-5616 RM Eindhoven Netherlands

We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus extended with lists, pairs and the security specific constructs declassify and protect. We define and motivate four classes of heuristics that help diagnose inconsistencies among the constraints, and show their effect on a selection of security incorrect programs. (C) 2014 Elsevier B.V. All rights reserved.

关键词： type-based program analysis Security analysis Error feedback

来源：评论

学校读者我要写书评

暂无评论

type-based Exception analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics 15

Type-based Exception Analysis for Non-strict Higher-order Fu...

引用

ACM SIGPLAN Workshop on Partial Evaluation and program Manipulation (PEPM)

作者： Koot, Ruud Hage, Jurriaan Univ Utrecht Dept Comp & Informat Sci Utrecht Netherlands

ISBN: (纸本)9781450332972

Most statically typed functional programming languages allow programmers to write partial functions: functions that are not defined on all the elements of their domain as specified by their type. Applying a partial function to a value on which it is not defined will raise a run-time exception, thus in practice well-typed programs can and do still go wrong. To warn programmers about such errors, contemporary compilers for functional languages employ a local and purely syntactic analysis to detect partial case-expressions-those that do not cover all possible patterns of constructors. As programs often maintain invariants on their data, restricting the potential values of the scrutinee to a subtype of its given or inferred type, many of these incomplete case-expressions are harmless. Such an analysis does not account for these invariants and will thus report many false positives, overwhelming the programmer. We develop a constraint-based type system that detects harmful sources of partiality and prove it correct with respect to an imprecise exception semantics. The analysis accurately tracks the flow of both exceptions-the manifestation of partiality gone wrong-and ordinary data through the program, as well as the dependencies between them. The latter is crucial for usable precision, but has been omitted from previously published exception analyses.

关键词： type-based program analysis exception analysis imprecise exceptions pattern-matching

来源：评论

学校读者我要写书评

暂无评论

Polyvariant Flow analysis with Higher-ranked Polymorphic types and Higher-order Effect Operators 10

Polyvariant Flow Analysis with Higher-ranked Polymorphic Typ...

引用

15th ACM SIGPLAN International Conference on Functional programming

作者： Holdermans, Stefan Hage, Jurriaan Vector Fabr NL-5611 KN Eindhoven Netherlands Univ Utrecht Dept Inf & Comp Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781605587943

We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of higher-ranked types enables us to improve on the precision of conventional letpolymorphic analyses. Modularity and decidability of the analysis are guaranteed by making the analysis of each program parametric in the analyses of its inputs;in particular, we have that higher-order functions give rise to higher-order operations on effects. As flow typing is archetypical to a whole class of type and effect systems, our approach can be used to boost the precision of a wide range of type-based program analyses for higher-order languages.

关键词： Languages Theory type-based program analysis higher-ranked polymorphism

来源：评论

学校读者我要写书评

暂无评论

Heap Recycling for Lazy Languages 08

Heap Recycling for Lazy Languages

引用

ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based program Manipulation

作者： Hage, Jurriaan Holdermans, Stefan Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781595939777

Pure functional programming languages preclude destructive updates of heap-allocated data. In such languages, all newly computed algebraic values claim freshly allocated heap space, which typically causes idiomatic programs to be notoriously inefficient when compared to their imperative and impure counterparts. We partly overcome this shortcoming by considering a syntactically light language construct for enabling user-controlled in-place updates of algebraic values. The resulting calculus, that is based on a combination of type-based uniqueness and constructor analysis, is guaranteed to maintain referential transparency and is fully compatible with existing run-time systems for nonstrict, pure functional languages.

关键词： compile-time garbage collection lazy functional programming type-based program analysis

来源：评论

学校读者我要写书评

暂无评论

Polyvariant Cardinality analysis for Non-strict Higher-order Functional Languages Brief Announcement 15

Polyvariant Cardinality Analysis for Non-strict Higher-order...

引用

ACM SIGPLAN Workshop on Partial Evaluation and program Manipulation (PEPM)

作者： Verstoep, Hidde Hage, Jurriaan Univ Utrecht Dept Comp & Informat Sci Utrecht Netherlands

ISBN: (纸本)9781450332972

In this brief announcement we outline work we have done on defining a polyvariant cardinality analysis for a non-strict higher-order language equipped with user defined datatypes and explicit strictness that includes sharing analysis, absence analysis, strictness analysis and uniqueness typing as a special case. It aims to be the basis of an analysis framework in a compiler for a Haskell-like language, that does not have access to an aggressive inliner such as the one present in GHC.

关键词： type-based program analysis cardinality analysis uniqueness typing polyvariance absence analysis sharing analysis usage analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：