97 search results - page 1 / 20 » A Domain-theoretic Approach to Integrating Functional and Lo... |
VLDB
1993
ACM
13 years 9 months ago
1993
ACM
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
TACS
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
IJAR
2007
13 years 4 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
PADL
2000
Springer
13 years 8 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...