Programming Languages and Systems
From MaRDI portal
Publication:5464046
DOI10.1007/b102225zbMath1116.68411MaRDI 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
68P15: Database theory
Related Items
On reversible Turing machines and their function universality, A programmable editor for developing structured documents based on bidirectional transformations, Merging Hierarchically-Structured Documents in Workflow Systems, Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants