1194 search results - page 84 / 239 » A Calculus for Predicative Programming |
92
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
140
click to vote
FUIN
2008
15 years 2 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
215
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
117
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
136
click to vote
ICML
1989
IEEE
15 years 6 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...