Programming Languages and Systems
From MaRDI portal
Publication:5902364
DOI10.1007/b94290zbMath1254.68057MaRDI QIDQ5902364
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
Related Items
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy, Characterizing Compatible View Updates in Syntactic Bidirectionalization, On reversible Turing machines and their function universality, Reverse universal resolving algorithm and inverse driving, Join inverse categories and reversible recursion, Fundamentals of reversible flowchart languages, Determinization of conditional term rewriting systems, A programmable editor for developing structured documents based on bidirectional transformations
Uses Software