Search results
From MaRDI portal
- Rules and Reverse Transformation for Rule-based Equivalent Transformation 2013-07-24 Paper Program Generation in the Equivalent Transformation Computation Model...10 bytes (16 words) - 00:42, 25 September 2023
- overloading 2015-10-07 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper Explaining circuit propagation 2015-04-29...10 bytes (18 words) - 00:40, 10 December 2023
- mardi4nfdi.de/entity/Q4529780 2002-05-06 Paper Higher-order matching for program transformation 2002-03-03 Paper...10 bytes (16 words) - 16:57, 24 September 2023
- Paper Verifying Program Performance 1976-01-01 Paper Faster retrieval from context trees 1976-01-01 Paper Goal-Directed Program Transformation 1976-01-01 Paper...10 bytes (16 words) - 11:52, 24 September 2023
- Semigroups 2015-09-22 Paper Program equivalence checking by two-tape automata 2014-06-05 Paper Using algebraic models of programs for detecting metamorphic...10 bytes (18 words) - 11:15, 8 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
- Konstruktion korrekter Programme durch Transformation 1987-01-01 Paper Algebraic implementations preserve program correctness 1986-01-01 Paper On the algebraic...10 bytes (17 words) - 01:01, 11 December 2023
- multi-pass attribute evaluation 1989-01-01 Paper Iteration of transformation passes over attributed program trees 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3484330...10 bytes (16 words) - 09:27, 7 October 2023
- Type Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension 2000-04-27 Paper Analysis of speed...10 bytes (18 words) - 12:21, 14 March 2024
- verification through Horn clause transformation 2018-08-27 Paper Predicate Pairing for program verification 2018-05-31 Paper Program Verification using Constraint...10 bytes (18 words) - 18:44, 24 September 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
- 1994-05-24 Paper https://portal.mardi4nfdi.de/entity/Q4020730 1993-01-17 Paper A PROGRAM FOR RECONSTRUCTABILUY ANALYSIS 1989-01-01 Paper DETERMINATION OF UNBIASED...10 bytes (16 words) - 09:33, 9 December 2023
- Synthesis and Transformation 2005-12-27 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Advances in Neural Networks – ISNN 2005 2005-11-23...10 bytes (16 words) - 10:13, 6 October 2023
- expressions and updated Fortran program 2013-03-15 Paper Calculation of four-particle harmonic-oscillator transformation brackets 2011-01-05 Paper The general...10 bytes (16 words) - 14:05, 24 September 2023
- expressions and updated Fortran program 2013-03-15 Paper Calculation of four-particle harmonic-oscillator transformation brackets 2011-01-05 Paper The general...10 bytes (16 words) - 00:25, 25 September 2023
- Analyses 2013-08-05 Paper Software Verification for Weak Memory via Program Transformation 2013-08-05 Paper Numeric Bounds Analysis with Conflict-Driven Learning...10 bytes (16 words) - 11:11, 6 October 2023
- Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper Truth versus information in logic programming 2014-12-10 Paper https://portal...10 bytes (16 words) - 15:14, 6 October 2023
- diagnosis and correction of rule-based programs 2010-11-11 Paper Transformation and Debugging of Functional Logic Programs 2010-07-20 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 02:46, 12 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
- Kaluzhnin's graph-schemas 1996-04-11 Paper Formalized program specifications and transformation synthesis 1995-11-02 Paper ORIENTIR -- audio tools for...10 bytes (18 words) - 10:50, 13 December 2023
