Search results
From MaRDI portal
- Publication Date of Publication Type Recursive program optimization through inductive synthesis proof transformation 1999-05-02 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 22:32, 12 December 2023
- Ping-pong protocols as prefix grammars: modelling and verification via program transformation 2016-08-18 Paper https://portal.mardi4nfdi.de/entity/Q2856056 2013-10-23...10 bytes (17 words) - 20:23, 12 December 2023
- analysis 2010-11-25 Paper Quantum programming languages: a tentative study 2008-11-10 Paper Analysis of phase transformation from austenite to martensite in...10 bytes (17 words) - 12:20, 12 December 2023
- Paper Formal program construction by transformations-computer-aided, intuition-guided programming 1989-01-01 Paper A simple calculus for program transformation...10 bytes (17 words) - 08:58, 12 December 2023
- Implementing specification freedoms 1982-01-01 Paper A System for Assisting Program Transformation 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4192940 1978-01-01...10 bytes (18 words) - 19:35, 8 December 2023
- 2002-06-16 Paper Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication...10 bytes (16 words) - 05:39, 9 December 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
- parallel programs on two-dimensional arrays 2007-11-14 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Logic Based Program Synthesis...10 bytes (16 words) - 08:58, 6 October 2023
- Finding Inconsistencies in Programs with Loops 2016-01-12 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper A consumption-investment...10 bytes (18 words) - 01:20, 10 December 2023
- Publication Type Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication...10 bytes (17 words) - 05:39, 9 December 2023
- Extraction of a program from deduction and its regularity. I 1985-01-01 Paper Formal deduction with transfinite induction and its transformation for easier...10 bytes (16 words) - 21:50, 12 December 2023
- by Graph Transformation 2013-05-24 Paper $\mathcal M, \mathcal N$ -Adhesive Transformation Systems 2012-10-02 Paper ℳ-Adhesive Transformation Systems with...10 bytes (16 words) - 16:09, 12 December 2023
- Temporal abstract interpretation 2015-03-17 Paper Systematic design of program transformation frameworks by abstract interpretation 2015-03-17 Paper A galois...10 bytes (16 words) - 15:03, 12 December 2023
- Observations of Versatility 2009-12-11 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Appropriate lemmae discovery 2004-08-06...10 bytes (16 words) - 00:18, 12 December 2023
- Equivalent transformations of program schemes for ``Entangling programs 2003-09-01 Paper Equivalent transformations in the model of programs with commuting...10 bytes (19 words) - 12:32, 24 September 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
- 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
- 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
- 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
- Type Syntactic accidents in program analysis: on the impact of the CPS transformation 2004-03-29 Paper CPS transformation of flow information, Part II:...10 bytes (16 words) - 20:48, 26 December 2023
