Towards a Domain-Specific Language for Reversible Assembly Sequences

DOI10.1007/978-3-319-20860-2_7zbMath1464.68406OpenAlexW1437400337MaRDI QIDQ2822499

Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen, Ulrik Pagh Schultz

Publication date: 30 September 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20860-2_7

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Artificial intelligence for robotics (68T40)

Related Items (5)

The Degree of Irreversibility in Deterministic Finite Automata ⋮ Join inverse categories and reversible recursion ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ The Degree of Irreversibility in Deterministic Finite Automata ⋮ Algeo: an algebraic approach to reversibility

Uses Software

• Robotics API
• KUKA Robot Language

Cites Work

• Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots
• Combinators for bi-directional tree transformations

This page was built for publication: Towards a Domain-Specific Language for Reversible Assembly Sequences