Functional logic programming

Authors:
Sergio Antoy;Michael Hanus
Affiliations:
Portland State University Portland, OR;University of Kiel, Germany
Venue:
Communications of the ACM
Year:
2010

Citing 27
Cited 22

Nondeterministic algebraic specifications and nonconfluent term rewriting

Journal of Logic Programming
Purely functional data structures

Purely functional data structures
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Journal of the ACM (JACM)
A needed narrowing strategy

Journal of the ACM (JACM)
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Term Rewriting Systems

Term Rewriting Systems
The Definition of Standard ML

The Definition of Standard ML
Implementing Encapsulated Search for a Lazy Functional Logic Language

FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Functional Logic Design Patterns

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Teaching Functional and Logic Programming with a Single Computational Model

PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Definitional Trees

Proceedings of the Third International Conference on Algebraic and Logic Programming
To the Gates of HAL: A HAL Tutorial

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A logic programming approach to the verification of functional-logic programs

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Type-oriented construction of web user interfaces

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Type-level Computation Using Narrowing in Ωmega

Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic generation of glass-box test cases for functional logic programs

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Lazy call-by-value evaluation

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Call pattern analysis for functional logic programs

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Evaluation strategies for functional logic programming

Journal of Symbolic Computation
Multi-paradigm declarative languages

ICLP'07 Proceedings of the 23rd international conference on Logic programming
On a tighter integration of functional and logic programming

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
High-level database programming in curry

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Declarative programming with function patterns

LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Overlapping rules and logic variables in functional logic programs

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Run-time profiling of functional logic programs

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Combining syntactic and semantic bidirectionalization

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
An integrated framework for the diagnosis and correction of rule-based programs

Theoretical Computer Science
A program transformation for returning states in functional-logic programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language

Journal of Visual Languages and Computing
Functional and dynamic programming in the design of parallel prefix networks

Journal of Functional Programming
Ontological logic programming

Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Transforming functional logic programs into monadic functional programs

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Lazy and enforceable assertions for functional logic programs

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
A functional, successor list based version of warshall's algorithm with applications

RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
KiCS2: a new compiler from Curry to Haskell

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Automatic proof and disproof in Isabelle/HOL

FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Constraints as control

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Well-typed narrowing with extra variables in functional-logic programming

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Combining semantic web and logic programming for agent reasoning

AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Contracts and specifications for functional logic programming

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Compiling a functional logic language: the basic scheme

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Transparent function types: clearing up opacity

Proceedings of the 14th symposium on Principles and practice of declarative programming
S-Narrowing for constructor systems

ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Typing as functional-logic evaluation

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
An algebraic presentation of predicate logic

FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
A semantics for weakly encapsulated search in functional logic programs

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A modular and generic analysis server system for functional logic programs

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	48.22

Visualization

Abstract

Combining the paradigm features of both logic and functional programming makes for some powerful implementations.