8766 search results - page 243 / 1754 » Functional logic programming |
110
Voted
TPLP
2002
14 years 10 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
AFP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
MOR
2002
14 years 10 months ago
2002
We examine the sequence of local minimizers of the log-barrier function for a nonlinear program near a solution at which second-order sufficient conditions and the Mangasarian-From...
88
Voted
PPDP
2001
Springer
15 years 3 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...