Search results
From MaRDI portal
- Calculation of transformation brackets of hyperspherical harmonics of four-body systems with arbitrary masses 1995-02-09 Paper Program to calculate transformation...10 bytes (16 words) - 01:12, 23 September 2023
- Preliminary Formalisation 2007-09-11 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Program Development in Computational Logic 2005-12-23...10 bytes (18 words) - 18:41, 24 September 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
- Paper Preservation of stronger equivalence in unfold/fold logic program transformation 1990-01-01 Paper...10 bytes (16 words) - 07:03, 7 October 2023
- Publication Date of Publication Type Specification transformation method for functional program generation based on partition-recursion refinement rule...10 bytes (16 words) - 03:48, 25 September 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
- Temporal abstract interpretation 2015-03-17 Paper Systematic design of program transformation frameworks by abstract interpretation 2015-03-17 Paper Abstracting...10 bytes (17 words) - 15:03, 12 December 2023
- 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
- 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
- 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
- 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
- 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
- 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
- 2006-02-08 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Program Development in Computational Logic 2005-12-23 Paper Applications and...10 bytes (16 words) - 04:13, 9 December 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
- 2023-08-29 Paper Probabilistic Time Series Forecasts with Autoregressive Transformation Models 2023-07-18 Paper Structural Equation Models for Dealing With...10 bytes (17 words) - 21:12, 9 December 2023
- framework to synthesize SAT-provers 2006-01-16 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q3021901...10 bytes (20 words) - 00:42, 12 December 2023
- framework to synthesize SAT-provers 2006-01-16 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q3021901...10 bytes (18 words) - 00:42, 12 December 2023
- 1981-01-01 Paper Derivation of Invariant Assertions During Program Development by Transformation 1980-01-01 Paper...10 bytes (19 words) - 08:57, 12 December 2023