搜索结果: 1-8 共查到“计算机科学技术基础学科 Constraints”相关记录8条 . 查询时间(0.031 秒)
We present a general algorithm for solving systems of inclusion constraints over type expressions.The constraint language includes function types, constructor types, and liberal intersection and union...
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. We present several results on the computational com...
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Entailment with Conditional Equality Constraints
Entailment Conditional Equality Constraints
2016/5/24
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend equality constraints wi...
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Regularly Annotated Set Constraints
Set constraints context-free language reachability flow analysis
2016/5/24
A general class of program analyses are a combination of contextfree and regular language reachability. We define regularly annotated set constraints, a constraint formalism that captures this class. ...
The aim is to facilitate the application of user defined constraints to the genetic clustering algorithm. This is achieved by presenting a general penalty function. The penalty function is defined as ...
Selecting Views with Maintenance Cost Constraints: Issues, Heuristics and Performance
Selecting Views Maintenance Cost Constraints Issues Heuristics Performance
2014/3/12
In order to efficiently support a large number of on-line analytical processing (OLAP)queries, a data warehouse needs to precompute or materialise some of such OLAP queries. One of the important issue...