Sciweavers

5863 search results - page 105 / 1173
» Calculating Functional Programs
Sort
View
ICSQP
1994
15 years 3 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
124
Voted
JGO
2008
75views more  JGO 2008»
15 years 2 months ago
On the second conjugate of several convex functions in general normed vector spaces
When dealing with convex functions defined on a normed vector space X the biconjugate is usually considered with respect to the dual system (X, X ), that is, as a function defined...
Constantin Zalinescu
ICFP
2005
ACM
16 years 2 months ago
Scrap your nameplate: (functional pearl)
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
James Cheney
161
Voted
GEOINFORMATICA
2011
14 years 9 months ago
Functional description of geoprocessing services as conjunctive datalog queries
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
Daniel Fitzner, Jörg Hoffmann, Eva Klien
162
Voted
RR
2009
Springer
15 years 6 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri