1072 search results - page 80 / 215 » Object-Oriented Type Inference |
168
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
170
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
159
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
148
click to vote
LFP
1990
15 years 4 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
151
Voted
ALIFE
2008
15 years 3 months ago
2008
The development of structure-learning algorithms for gene regulatory networks depends heavily on the availability of synthetic data sets that contain both the original network and ...