Programming Languages and Systems

DOI10.1007/b94290zbMath1254.68057OpenAlexW2493559803MaRDI QIDQ5902364

Masahiko Kawabe, Robert Glück

Publication date: 5 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94290

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (max. 100)

A categorical foundation for structured reversible flowchart languages ⋮ On reversible Turing machines and their function universality ⋮ Determinization of conditional term rewriting systems ⋮ Semi-inversion of Conditional Constructor Term Rewriting Systems ⋮ Fundamentals of reversible flowchart languages ⋮ Tail recursion transformation for invertible functions ⋮ Reversible computing from a programming language perspective ⋮ Reverse universal resolving algorithm and inverse driving ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Join inverse categories and reversible recursion ⋮ A programmable editor for developing structured documents based on bidirectional transformations ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization

Uses Software

• InvX

This page was built for publication: Programming Languages and Systems