Multi-paradigm Declarative Languages

DOI10.1007/978-3-540-74610-2_5zbMATH Open1213.68162OpenAlexW1512480360MaRDI QIDQ3608646FDOQ3608646

Authors: Michael Hanus 

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_5

Recommendations

• Functional Logic Programming: From Theory to Curry
• Multiparadigm Constraint Programming Languages
• An operational semantics for declarative multi-paradigm languages
• scientific article; zbMATH DE number 10085
• scientific article; zbMATH DE number 1688813

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (26)

• Safe typing of functional logic programs with opaque patterns and local bindings
• Programming with narrowing: a tutorial
• Programming in Alma-0, or imperative and declarative programming reconciled
• Termination of narrowing via termination of rewriting
• Multi-pattern languages
• Title not available (Why is that?)
• An operational semantics for declarative multi-paradigm languages
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• CLAIRE: combining sets, search and rules to better express algorithms
• An integrated framework for the diagnosis and correction of rule-based programs
• Functional-Logic Graph Parser Combinators
• Transforming functional logic programs into monadic functional programs
• A Fully Abstract Semantics for Constructor Systems
• A compact fixpoint semantics for term rewriting systems
• Compiling a functional logic language: \textit{The Fair Scheme}
• Separating concerns in programming: data, control and actions
• Rewriting and Call-Time Choice: The HO Case
• Functional logic programming in Maude
• Encoding abstract syntax without fresh names
• A liberal type system for functional logic programs
• Title not available (Why is that?)
• A declarative language for the thermal design of regenerative heat exchangers
• Multiparadigm Constraint Programming Languages
• Relations as executable specifications: taming partiality and non-determinism using invariants
• A list processing language TAO with multiple programming paradigms
• Title not available (Why is that?)

This page was built for publication: Multi-paradigm Declarative Languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608646)