Pages that link to "Item:Q2346993"
From MaRDI portal
The following pages link to Program equivalence in linear contexts (Q2346993):
Displaying 6 items.
- Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- An algorithm deciding functional equivalence in a new class of program schemes (Q912596) (← links)
- Reconstruction of linear index expressions for reducing programs to a linear class (Q1569374) (← links)
- Algorithm to find invariant linear inequality constraints in programs (Q3741026) (← links)
- Programming Languages and Systems (Q5316582) (← links)