Search results
From MaRDI portal
- 2007-10-30 Paper The linear complexity of a graph 2006-02-09 Paper Correctness proofs of syntax-directed processing descriptions by attributes 1979-01-01...10 bytes (18 words) - 21:11, 12 December 2023
- Publication Date of Publication Type Formal correctness proofs of a nondeterministic program 1982-01-01 Paper...10 bytes (16 words) - 03:56, 25 September 2023
- Publication Date of Publication Type Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature 1983-01-01 Paper...10 bytes (16 words) - 02:57, 28 December 2023
- Publication Date of Publication Type Functional Correctness Proofs of Encryption Algorithms 2008-05-27 Paper...10 bytes (16 words) - 22:04, 27 December 2023
- Publication Date of Publication Type Abstract Implementations and Their Correctness Proofs 1983-01-01 Paper...10 bytes (18 words) - 19:53, 26 December 2023
- Publication Date of Publication Type Algebraic correctness proofs for compiling recursive function definitions with strictness information 2006-09-12 Paper...10 bytes (16 words) - 11:44, 13 December 2023
- On-line and off-line partial evaluation: semantic specifications and correctness proofs 1996-09-12 Paper Semantics-directed generation of a Prolog compiler...10 bytes (18 words) - 20:35, 9 December 2023
- Publication Date of Publication Type Correctness proofs of syntax-directed processing descriptions by attributes 1979-01-01 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 12:51, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q2888072 2012-05-30 Paper Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model...10 bytes (18 words) - 15:03, 22 September 2023
- Publication Date of Publication Type Toward compiler implementation correctness proofs 1986-01-01 Paper An order-algebraic definition of knuthian semantics...10 bytes (18 words) - 12:21, 14 March 2024
- verification of infinite state systems 2013-06-26 Paper Constraint-based correctness proofs for logic program transformations 2013-03-22 Paper Using Real Relaxations...10 bytes (16 words) - 23:22, 24 September 2023
- 1977-01-01 Paper Pointers and data abstractions in high level languages—II: Correctness proofs 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5672152 1971-01-01...10 bytes (18 words) - 19:35, 8 December 2023
- SECANT METHODS AND THEIR FRACTAL PATTERNS 2009-07-14 Paper Functional Correctness Proofs of Encryption Algorithms 2008-05-27 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 17:50, 6 October 2023
- 1984-01-01 Paper Correctness proofs of CSP programs 1983-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4745240 1981-01-01 Paper Axiomatic proofs of total correctness...10 bytes (16 words) - 18:17, 6 October 2023
- Proving in Higher Order Logics 2005-08-18 Paper A compared study of two correctness proofs for the standardized algorithm of ABR conformance 2003-07-01 Paper...10 bytes (18 words) - 14:43, 24 September 2023
- recursive procedures 2004-11-23 Paper Toward compiler implementation correctness proofs 1986-01-01 Paper An order-algebraic definition of knuthian semantics...10 bytes (18 words) - 21:08, 24 September 2023
- distributed system assuming read/write atomicity 2009-07-13 Paper Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model...10 bytes (18 words) - 15:10, 22 September 2023
- On-line and off-line partial evaluation: semantic specifications and correctness proofs 1996-09-12 Paper Semantics-directed generation of a Prolog compiler...10 bytes (17 words) - 21:50, 24 September 2023
- Second-Order Differential Power Analysis 2010-07-06 Paper Towards mechanized correctness proofs for cryptographic algorithms: axiomatization of a probabilistic Hoare...10 bytes (19 words) - 00:59, 25 September 2023
- mardi4nfdi.de/entity/Q4817536 2004-09-24 Paper A compared study of two correctness proofs for the standardized algorithm of ABR conformance 2003-07-01 Paper...10 bytes (16 words) - 01:18, 12 December 2023
