Programming Languages and Systems
From MaRDI portal
Publication:5464046
DOI10.1007/b102225zbMath1116.68411OpenAlexW2796564118MaRDI QIDQ5464046
Shin-Cheng Mu, Masato Takeichi, Zhenjiang Hu
Publication date: 17 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b102225
Related Items
Generic recursive lens combinators and their calculation laws ⋮ On reversible Turing machines and their function universality ⋮ Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ A programmable editor for developing structured documents based on bidirectional transformations ⋮ Merging Hierarchically-Structured Documents in Workflow Systems
This page was built for publication: Programming Languages and Systems