Declarative Programming with Algebra

DOI10.1007/978-3-319-29604-3_15zbMath1475.68051OpenAlexW2402084945MaRDI QIDQ2798283

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)

Uses Software

• SugarCubes
• YACC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a theory of (self) applicative communicating processes: A short note
• A calculus of communicating systems
• A calculus of mobile processes. I
• A brief history of process algebra
• An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

This page was built for publication: Declarative Programming with Algebra