Search results
From MaRDI portal
- structures and program correctness: Bridging the gap 1978-01-01 Paper Loop unravelling: a practical tool in proving program correctness 1975-01-01 Paper...10 bytes (18 words) - 11:52, 24 September 2023
- approach to solving a problem of program correctness 2013-01-10 Paper Resolution methods in proving the program correctness 2008-07-02 Paper https://portal...10 bytes (16 words) - 03:22, 28 December 2023
- of Publication Type Programming and Proving with Classical Types 2022-12-09 Paper Modal Kleene algebra applied to program correctness 2020-01-03 Paper Building...10 bytes (20 words) - 14:52, 28 January 2024
- control: On program construction and verification 2018-02-20 Paper On definite program answers and least Herbrand models 2017-11-09 Paper Correctness and Completeness...10 bytes (16 words) - 04:36, 12 December 2023
- tree traversal algorithm reconsidered 1988-01-01 Paper A correctness proof of an indenting program 1983-01-01 Paper Parallel algorithms for the single source...10 bytes (16 words) - 10:42, 13 December 2023
- problem for program schemas 1983-01-01 Paper Proving linear algebra program correctness 1982-01-01 Paper Verification of file manipulation programs in the language...10 bytes (18 words) - 14:59, 8 December 2023
- Solver 2012-06-15 Paper Doomed program points 2011-03-31 Paper Dafny: An Automatic Program Verifier for Functional Correctness 2011-01-07 Paper Deadlock-Free...10 bytes (20 words) - 14:45, 12 December 2023
- Logic Programs 2011-03-04 Paper Reasoning about Loops in Total and General Correctness 2010-08-31 Paper Invariants and Well-Foundedness in Program Algebra...10 bytes (18 words) - 14:34, 8 December 2023
- Paper Constraint-based correctness proofs for logic program transformations 2013-03-22 Paper Using Real Relaxations during Program Specialization 2013-03-13...10 bytes (16 words) - 16:42, 12 December 2023
- Publication Date of Publication Type An elementary and unified approach to program correctness 2010-11-22 Paper Intuitionistic logic according to Dijkstra's calculus...10 bytes (20 words) - 12:48, 12 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4370857 1998-01-07 Paper Program correctness on finite fields 1997-04-08 Paper Stability of weak second-order semantics...10 bytes (17 words) - 12:29, 28 January 2024
- 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 1999-01-31...10 bytes (18 words) - 14:42, 13 December 2023
- Publication Date of Publication Type On algebra of program correctness and incorrectness 2023-03-30 Paper The $$\theta $$-Join as a Join with $$\theta...10 bytes (17 words) - 01:01, 11 December 2023
- Tight worst-case bounds for polynomial loop programs 2020-01-28 Paper Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation 2015-12-07...10 bytes (18 words) - 13:42, 13 December 2023
- Dijkstra's interpretation of the approach to solving a problem of program correctness 2013-01-10 Paper https://portal.mardi4nfdi.de/entity/Q3105857 2011-12-19...10 bytes (16 words) - 03:57, 25 September 2023
- approach to solving a problem of program correctness 2013-01-10 Paper Resolution methods in proving the program correctness 2008-07-02 Paper https://portal...10 bytes (16 words) - 03:22, 28 December 2023
- Paper Constraint-based correctness proofs for logic program transformations 2013-03-22 Paper Using Real Relaxations during Program Specialization 2013-03-13...10 bytes (16 words) - 23:22, 24 September 2023
- Futures 2015-07-10 Paper Observational program calculi and the correctness of translations 2015-04-01 Paper Correctness of an STM Haskell implementation 2015-03-30...10 bytes (19 words) - 13:00, 11 December 2023
- Higher-Order in LP Systems 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23...10 bytes (19 words) - 03:58, 12 December 2023
- Paper Proving total correctness of nondeterministic programs in infinitary logic 1981-01-01 Paper On correct refinement of programs 1981-01-01 Paper https://portal...10 bytes (19 words) - 06:31, 9 December 2023