Pages that link to "Item:Q1623144"
From MaRDI portal
The following pages link to Symbolic computation via program transformation (Q1623144):
Displaying 8 items.
- Symbolic evaluation with structural recursive symbolic constants (Q1101205) (← links)
- Numeric deduction in symbolic computation. Application to normalizing transformations (Q1360966) (← links)
- Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization. (Q1396163) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- (Q4435042) (← links)
- Transforming Source Code to Mathematical Relations for Performance Evaluation (Q5377239) (← links)
- Program transformation system based on generalized partial computation (Q5957059) (← links)
- Symbolic computation in automated program reasoning (Q6174522) (← links)