1073 search results - page 80 / 215 » Formal Program Development with Approximations |
122
click to vote
LFP
1992
15 years 3 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
114
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
102
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
133
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
115
click to vote
FSTTCS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...