967 search results - page 13 / 194 » Probabilistic Predicative Programming |
142
Voted
FAC
2010
15 years 3 months ago
2010
145
Voted
ICALP
2007
Springer
15 years 12 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
172
Voted
FASE
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
143
Voted
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
155
Voted
WCET
2008
15 years 7 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...