Multi-paradigm Declarative Languages

DOI10.1007/978-3-540-74610-2_5MaRDI QIDQ3608646zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cited in

(26)

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

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)