The following pages link to Programming Languages and Systems (Q5902364):
Displaying 12 items.
- On reversible Turing machines and their function universality (Q303695) (← links)
- Reverse universal resolving algorithm and inverse driving (Q444478) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- A programmable editor for developing structured documents based on bidirectional transformations (Q2271900) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
