MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Integrating Logic and Functional Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

A Constructive Type System to Integrate Logic and Functional Programming
by Luis Pinto, Roy Dyckhoff — 1994 — CADE Workshop on Proof-search in Type-theoretic Languages
…A Constructive Type System to Integrate Logic and Functional Programming Luis Pinto & Roy Dyckhoff…
Cited by 1 (0 self) – Add To MetaCart

Demandedness Analysis with Dependence Information for Functional Logic Languages
by Julio Mariño-Carballo, Angel Herranz-nieva, Juan José Moreno-Navarro — 1993 — In ILPS Workshop on Global Compilation
… arguments). 1 Introduction Functional logic programming languages integrate logic and functional…
Cited by 1 (0 self) – Add To MetaCart

FLIP: Functional-plus-Logic Programming on an Integrated Platform
by Michael Sintek Dfki, Michael Sintek — 1995 — 3rd Workshop on Functional Logic Programming
…FLIP: Functional-plus-Logic Programming on an Integrated Platform Michael Sintek DFKI GmbH Postfach…
Add To MetaCart

Solving Higher-Order Equations: From Logic to Programming
by Alle Rechte Vorbehalten, Technische Universit, At M Unchen, Fakultat Fur Informatik, Christian Prehofer, Christian Prehofer, Christian Prehofer — 1995
… for the integration of logic programming and functional programming. We argue that there are some principal problems…
Add To MetaCart

Logic Programs with External Procedures
by Jan Maluszynski, Staffan Bonnier, Johan Boye, Feliks Kluzniak, Andreas Kagedal, Ulf Nilsson — 1993 — Logic Programming Constraints, Functions, and Objects
… to integrating logic programs with functional procedures written in other programming languages. Many existing…
Cited by 11 (5 self) – Add To MetaCart

The Functional Side of Logic Programming
by Massimo Marchiori — 1995 — In Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture (FPCA'95
… of effort was devoted to integrating the two paradigms of functional programming and logic programming…
Cited by 6 (2 self) – Add To MetaCart

Le Fun: Logic, equations, and Functions
by Hassan Aït-kaci, Patrick Lincoln, Roger Nasr — 1987 — In Proc. 4th IEEE Internat. Symposium on Logic Programming
… 78759 Abstract † We introduce a new paradigm for the integration of functional and logic programming…
Cited by 43 (2 self) – Add To MetaCart

Static Inference of Modes and Data Dependencies in Logic Programs
by Saumya K. Debray — 1989 — ACM Transactions on Programming Languages and Systems
… that support goal suspension; and in the integration of logic and functional languages. Data dependency…
Cited by 85 (5 self) – Add To MetaCart

ISHTAR: A Functional Logic Language with Polymorphic Order-Sorted Types
by Jesús M. Almendros-Jiménez , A. Gil-Luezas — 1996
… traditionally considered in functional languages and incorporated as an extension to logic programming…
Add To MetaCart

Research Overview and Plans
by Catuscia Palamidessi March, Catuscia Palamidessi
… of Logic Programming . . . . . . . . . . . . . . . . . . 2 1.3 Integration of Logic and Functional…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB