4835 search results - page 193 / 967 » Refactoring Functional Programs |
89
Voted
ERLANG
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
178
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
91
Voted
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
107
Voted
ECML
2004
Springer
15 years 2 months ago
2004
Springer
The kernel function plays a central role in kernel methods. Most existing methods can only adapt the kernel parameters or the kernel matrix based on empirical data. Recently, Ong e...
103
Voted
INFORMATICALT
2000
14 years 10 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...