Search results
From MaRDI portal
- 2010-08-19 Paper The Transformational Approach to Program Development 2010-07-20 Paper Deciding Full Branching Time Logic by Program Transformation 2010-05-04 Paper...10 bytes (16 words) - 23:22, 24 September 2023
- rule-based program transformation systems 2007-10-19 Paper https://portal.mardi4nfdi.de/entity/Q5472912 2006-06-19 Paper Logic Based Program Synthesis and...10 bytes (17 words) - 12:10, 24 September 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 (16 words) - 16:42, 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 (16 words) - 18:44, 24 September 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 (16 words) - 03:48, 7 October 2023
- 2006-10-31 Paper Logic Programming 2006-06-27 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Logic Programming 2005-08-26 Paper https://portal...10 bytes (18 words) - 20:35, 9 December 2023
- parallel programming 1987-01-01 Paper Algorithmic data structure algebras and multilevel program design 1986-01-01 Paper Formal transformation of structured...10 bytes (18 words) - 01:47, 13 December 2023
- 2014-10-27 Paper Transformation of algorithms written in the form of composition schemes 2014-10-24 Paper Some aspects of algorithm transformation based on the...10 bytes (18 words) - 02:53, 12 December 2023
- 1982-01-01 Paper Formalization of transformation algorithms for large-block programs 1981-01-01 Paper Analysis of program structure 1980-01-01 Paper https://portal...10 bytes (19 words) - 10:52, 9 December 2023
- via FermaT transformations 2004-11-22 Paper Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension...10 bytes (17 words) - 21:22, 12 December 2023
- bis zu Fourier-Reihen und Laplace-Transformation 2018-05-29 Paper Planarization of CityGML Models Using a Linear Program 2017-12-01 Paper Change-making problems...10 bytes (18 words) - 16:02, 11 December 2023
- 2003-07-01 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
- its application in program verification 2002-06-27 Paper https://portal.mardi4nfdi.de/entity/Q4246979 2000-01-12 Paper Analogical program derivation based...10 bytes (16 words) - 17:14, 13 December 2023
- mardi4nfdi.de/entity/Q3372478 2006-02-21 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper A functional correspondence between monadic...10 bytes (17 words) - 17:33, 9 December 2023
- Publication Type Parallel Logic Programming: A Sequel 2023-12-12 Paper Analysis and Transformation of Constrained Horn Clauses for Program Verification 2023-12-12...10 bytes (19 words) - 03:58, 12 December 2023
- specification and transformational programming 1989-01-01 Paper Formal program construction by transformations-computer-aided, intuition-guided programming 1989-01-01...10 bytes (17 words) - 02:14, 13 December 2023
- development. An introduction to program verification. 2010-10-13 Paper A Framework for Point-Free Program Transformation 2009-04-28 Paper https://portal...10 bytes (18 words) - 01:47, 12 December 2023
- 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
- termination of a logic program 1994-04-05 Paper Basic transformation operations which preserve computed answer substitutions of logic programs 1994-01-13 Paper...10 bytes (16 words) - 13:16, 12 December 2023
