Search results
From MaRDI portal
- Publication Date of Publication Type Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper...10 bytes (20 words) - 08:58, 7 October 2023
- Publication Date of Publication Type Automatic Memory Management Based on Program Transformation Using Ownership 2016-02-26 Paper...10 bytes (16 words) - 04:02, 7 October 2023
- Publication Date of Publication Type Program Improvement by Source-to-Source Transformation 1977-01-01 Paper...10 bytes (18 words) - 02:01, 28 December 2023
- Publication Date of Publication Type Logic Based Program Synthesis and Transformation 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q4341024 1997-06-16...10 bytes (16 words) - 01:38, 28 December 2023
- Date of Publication Type The Munich project CIP. Volume II: The program transformation system CIP- S 1987-01-01 Paper...10 bytes (19 words) - 09:10, 24 September 2023
- Publication Date of Publication Type Program to calculate transformation brackets of hyperspherical harmonic functions of a three body system 1985-01-01...10 bytes (16 words) - 01:13, 23 September 2023
- Publication Type Analyzing parallel program performance using normalized performance indices and trace transformation techniques 1997-02-27 Paper...10 bytes (18 words) - 13:13, 24 September 2023
- Publication Date of Publication Type A `division' transformation for program and data structures and the structure clash problem 1988-01-01 Paper...10 bytes (16 words) - 13:00, 24 September 2023
- Publication Date of Publication Type Probabilistic Inference by Program Transformation in Hakaru (System Description) 2016-04-04 Paper...10 bytes (16 words) - 00:59, 25 September 2023
- Publication Date of Publication Type Probabilistic Inference by Program Transformation in Hakaru (System Description) 2016-04-04 Paper...10 bytes (16 words) - 00:59, 25 September 2023
- Publication Date of Publication Type Performing geometric transformations by program transformation 1990-01-01 Paper...10 bytes (18 words) - 12:24, 7 October 2023
- scattering solution in coordinate space 1986-01-01 Paper Program to calculate transformation brackets of hyperspherical harmonic functions of a three body...10 bytes (16 words) - 01:25, 23 September 2023
- expressions and updated Fortran program 2013-03-15 Paper Calculation of four-particle harmonic-oscillator transformation brackets 2011-01-05 Paper Calculation...10 bytes (18 words) - 00:25, 25 September 2023
- GTS Families for the Flexible Composition of Graph Transformation Systems 2020-02-13 Paper Programming and symbolic computation in Maude 2020-01-31 Paper...10 bytes (17 words) - 11:55, 11 December 2023
- Optimization methods for box-constrained nonlinear programming problems based on linear transformation and Lagrange interpolating polynomials 2018-03-28...10 bytes (17 words) - 22:23, 11 December 2023
- Uninterpreted Functions 2016-03-23 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper https://portal.mardi4nfdi.de/entity/Q5414587...10 bytes (16 words) - 15:14, 6 October 2023
- Publication Date of Publication Type Operationally-based program equivalence proofs using LCTRSs 2023-09-25 Paper A matching logic foundation for Alk 2023-07-28...10 bytes (16 words) - 02:49, 12 December 2023
- conditions for mathematical programs with equilibrium constraints 1999-01-01 Paper Testing parallel variable transformation 1999-01-01 Paper Parallel Variable...10 bytes (16 words) - 20:53, 8 December 2023
- Complex fractional programming and the Charnes-Cooper transformation 2006-02-08 Paper Parameter-free dual models for fractional programming with generalized...10 bytes (18 words) - 15:31, 11 December 2023
- continuations: An investigation of duality in programming language semantics 2022-08-16 Paper Proof-directed program transformation: A functional account of efficient...10 bytes (16 words) - 08:07, 7 October 2023