Tail recursion transformation for invertible functions (Q6148109): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The universal resolving algorithm and its correctness: Inverse computation in a functional language / rank
 
Normal rank
Property / cites work
 
Property / cites work: A categorical foundation for structured reversible flowchart languages: Soundness and adequacy / rank
 
Normal rank
Property / cites work
 
Property / cites work: From reversible programming languages to reversible metalanguages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functional and Logic Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5472880 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\mathsf{CoreFun}\): a typed functional reversible core language / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Grammar-Based Approach to Invertible Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata Studies. (AM-34) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conversion to tail recursion in term rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Program Inversion for Tail Recursive Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Flowchart Languages and the Structured Reversible Program Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a Reversible Functional Language / rank
 
Normal rank

Latest revision as of 16:07, 22 August 2024

scientific article; zbMATH DE number 7786596
Language Label Description Also known as
English
Tail recursion transformation for invertible functions
scientific article; zbMATH DE number 7786596

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references