The following pages link to (Q2721101):
Displaying 6 items.
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Merging Hierarchically-Structured Documents in Workflow Systems (Q2873660) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- (Q5020992) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
