Multi-paradigm declarative languages

Authors:
Michael Hanus
Affiliations:
Institut für Informatik, CAU Kiel, Kiel, Germany
Venue:
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Year:
2007

Citing 54
Cited 41

Equational logic as a programming language

Equational logic as a programming language
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computing in Horn clause theories

Computing in Horn clause theories
Kernel-LEAF: a logic plus functional language

Journal of Computer and System Sciences
An introduction to functional programming

An introduction to functional programming
Rewrite systems

Handbook of theoretical computer science (vol. B)
Why functional programming matters

Research topics in functional programming
Nondeterministic algebraic specifications and nonconfluent term rewriting

Journal of Logic Programming
Concurrent constraint programming

Concurrent constraint programming
Implementation of narrowing: the Prolog-based approach

Logic programming languages
Programming in equational logic: beyond strong sequentiality

Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Encapsulated search for higher-order concurrent constraint programming

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Dynamic detection of determinism in functional logic languages

PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
How to declare an imperative

ACM Computing Surveys (CSUR)
A unified computation model for functional and logic programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile objects in distributed Oz

ACM Transactions on Programming Languages and Systems (TOPLAS)
Term rewriting and all that

Term rewriting and all that
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Journal of the ACM (JACM)
A needed narrowing strategy

Journal of the ACM (JACM)
Computing in Systems Described by Equations

Computing in Systems Described by Equations
Solving Combinatorial Problems with a Constraint Functional Logic Language

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Distributed Programming in a Multi-Paradigm Declarative Language

PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Implementing Encapsulated Search for a Lazy Functional Logic Language

FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Typed Higher-Order Narrowing without Higher-Order Strategies

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
A Demand Driven Computation Strategy for Lazy Narrowing

PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Controlling Search in Declarative Programs

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Compiling Multi-Paradigm Declarative Programs into Prolog

FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Definitional Trees

Proceedings of the Third International Conference on Algebraic and Logic Programming
Optimal Non-deterministic Functional Logic Computations

ALP '97-HOA '97 Proceedings of the 6th International Joint 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
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Efficient Translation of Lazy Functional Logic Programs into Prolog

LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An implementation of narrowing strategies

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Definitional interpreters for higher-order programming languages

ACM '72 Proceedings of the ACM annual conference - Volume 2
A demand-driven narrowing calculus with overlapping definitional trees

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Higher-order narrowing with definitional trees

Journal of Functional Programming
Concepts, Techniques, and Models of Computer Programming

Concepts, Techniques, and Models of Computer Programming
A proof theoretic approach to failure in functional logic programming

Theory and Practice of Logic 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
A lazy narrowing calculus for declarative constraint programming

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Concurrent distinct choices

Journal of Functional Programming
A generic analysis environment for declarative programs

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
A functional logic database library

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Translating curry to haskell system demo

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Type-oriented construction of web user interfaces

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Implementing Dynamic-Cut in TOY

Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing Relational Specifications in a Constraint Functional Logic Language

Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint functional logic programming over finite domains

Theory and Practice of Logic Programming
Evaluation strategies for functional logic programming

Journal of Symbolic Computation
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
A virtual machine for functional logic computations

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages

Call pattern analysis for functional logic programs

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Functional-Logic Graph Parser Combinators

RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
A flexible framework for programming with non-deterministicfunctions

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
A Semantic Web Reasoner for Rules, Equations and Constraints

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Declarative Programming of User Interfaces

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

Applications of Declarative Programming and Knowledge Management
A Fully Abstract Semantics for Constructor Systems

RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Free theorems for functional logic programs

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Functional logic programming

Communications of the ACM
Programming with narrowing: A tutorial

Journal of Symbolic Computation
High-level database programming in curry

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Rewriting and call-time choice: the HO case

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
A relation algebraic semantics for a lazy functional logic language

RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
A compact fixpoint semantics for term rewriting systems

Theoretical Computer Science
An integrated framework for the diagnosis and correction of rule-based programs

Theoretical Computer Science
Transformation and debugging of functional logic programs

A 25-year perspective on logic programming
Automated termination proofs for haskell by term rewriting

ACM Transactions on Programming Languages and Systems (TOPLAS)
A program transformation for returning states in functional-logic programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Type classes in functional logic programming

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
Liberal typing for functional logic programs

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Functional answer set programming

Theory and Practice of Logic Programming
Declarative programming for agent applications

Autonomous Agents and Multi-Agent Systems
A modular semantics for higher-order declarative programming with constraints

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
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
KiCS2: a new compiler from Curry to Haskell

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
From functional logic programs to purely functional programs preserving laziness

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
A feature model of actor, agent, and object programming languages

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
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
An ER-based framework for declarative web programming

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
New results on type systems for functional logic programming

WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Contracts and specifications for functional logic programming

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Smart testing of functional programs in isabelle

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Encoding Abstract Syntax Without Fresh Names

Journal of Automated Reasoning
Compiling a functional logic language: the basic scheme

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Improving the performance of FD constraint solving in a CFLP system

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
Relations as executable specifications: taming partiality and non-determinism using invariants

RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Typing as functional-logic evaluation

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation

Quantified Score

Hi-index	0.02

Visualization

Abstract

Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative languages, like functional, logic, or constraint programming languages. This paper surveys approaches to combine these different classes into a single programming language.