Declarative programming with algebra

DOI10.1007/978-3-319-29604-3_15MaRDI QIDQ2798283zbMATH OpenOpenAlexFDO

Authors Andre van Delft, Anatoliy Kmetyuk

Publication date 4 April 2016

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29604-3_15

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On the algebraic structure of declarative programming languages
• scientific article; zbMATH DE number 1696803
• Algebraic laws for nondeterminism and concurrency
• Algebra unifies operational calculi
• On the algebraic definition of programming languages

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1304364 (Why is no real title available?)
• scientific article; zbMATH DE number 1858610 (Why is no real title available?)
• A brief history of process algebra
• A calculus of communicating systems
• A calculus of mobile processes. I
• An algebraic theory of actors and its application to a simple object-based language
• Towards a theory of (self) applicative communicating processes: A short note

Cited in

(3)

• Programming in Alma-0, or imperative and declarative programming reconciled
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• scientific article; zbMATH DE number 1696803 (Why is no real title available?)

Describes a project that uses

Uses Software

• YACC
• SugarCubes

This page was built for publication: Declarative programming with algebra

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