Search results
From MaRDI portal
- de/entity/Q5398068 2014-02-25 Paper A simple correctness proof for magic transformation 2012-12-27 Paper Proving correctness and completeness of normal programs...10 bytes (16 words) - 04:36, 12 December 2023
- de/entity/Q4966413 2021-03-18 Paper On the Correctness of Polynomial Difference Operators 2021-03-18 Paper Correctness of a Two-dimensional Cauchy Problem for...10 bytes (18 words) - 20:02, 13 December 2023
- Paper Quantitative analysis of software approximate correctness 2018-08-27 Paper The approximate correctness of systems based on \(\delta\)-bisimulation 2018-04-23...10 bytes (17 words) - 13:35, 11 December 2023
- Type Morris' tree traversal algorithm reconsidered 1988-01-01 Paper A correctness proof of an indenting program 1983-01-01 Paper Parallel algorithms for...10 bytes (16 words) - 10:42, 13 December 2023
- inclusion for XML regular expression types 2015-09-03 Paper Types for path correctness of XML queries 2015-03-09 Paper Efficient asymmetric inclusion of regular...10 bytes (17 words) - 19:13, 11 December 2023
- Paper On the Uncertainty in the Correctness of Computer Programs 1985-01-01 Paper A methodology for assessing the correctness of control programs 1984-01-01...10 bytes (18 words) - 04:21, 12 December 2023
- Banach space: Regular and degenerate cases 1999-05-10 Paper Generalized correctness of the Cauchy problem and integrated semigroups 1997-08-20 Paper https://portal...10 bytes (18 words) - 14:44, 12 December 2023
- inclusion for XML regular expression types 2015-09-03 Paper Types for path correctness of XML queries 2015-03-09 Paper Efficient asymmetric inclusion of regular...10 bytes (17 words) - 19:13, 11 December 2023
- de/entity/Q4778665 2002-11-18 Paper On the correctness of parallel algorithms 1999-01-31 Paper Analysis of the correctness of a parallel program for set partitioning...10 bytes (18 words) - 14:42, 13 December 2023
- 2013-09-26 Paper Pict correctness revisited 2009-03-02 Paper Role-based access control for boxed ambients 2008-06-24 Paper Pict Correctness Revisited 2007-11-28...10 bytes (17 words) - 18:03, 9 December 2023
- 2020-12-04 Paper A complete mechanization of correctness of a string-preprocessing algorithm 2006-02-20 Paper Correctness of substring-preprocessing in Boyer-Moore's...10 bytes (16 words) - 07:00, 7 October 2023
- Reasoning about Loops in Total and General Correctness 2010-08-31 Paper Lifting General Correctness into Partial Correctness is ok 2009-03-06 Paper https://portal...10 bytes (18 words) - 12:39, 7 October 2023
- service with correctness guarantee 2012-08-17 Paper AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee 2010-03-03...10 bytes (17 words) - 23:09, 11 December 2023
- mardi4nfdi.de/entity/Q4873717 1996-04-17 Paper Proof method of partial correctness and weak completeness for normal logic programs 1994-11-13 Paper Proof...10 bytes (16 words) - 16:53, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q3997545 1992-09-17 Paper Partial correctness: The term-wise approach 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3930618...10 bytes (16 words) - 14:49, 9 December 2023
- Conditional correctness of the initial-boundary value problem for a system of high-order mixed-type equations 2023-01-10 Paper Conditional correctness of the...10 bytes (18 words) - 13:30, 13 December 2023
- Computations 2012-09-21 Paper Unifying Correctness Statements 2012-09-05 Paper Fixpoints for general correctness 2011-07-18 Paper Towards a Typed Omega...10 bytes (17 words) - 19:44, 6 October 2023
- 1992-08-13 Paper https://portal.mardi4nfdi.de/entity/Q3484365 1989-01-01 Paper Correctness of an extended operator-precedence parsing algorithm 1987-01-01 Paper...10 bytes (18 words) - 04:10, 9 December 2023
- rules for fault tolerant distributed programs 1987-01-01 Paper Total correctness of CSP programs 1986-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3678655...10 bytes (16 words) - 18:17, 6 October 2023
- 2004-07-30 Paper Algebraic models of correctness for abstract pipelines. 2004-03-14 Paper Algebraic models of correctness for microprocessors 2001-04-17 Paper...10 bytes (18 words) - 23:27, 24 September 2023