Proof of Correctness of Data Representations

Proof of Correctness of Data Representations

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hoare, C
Formáid:	Journal article
Foilsithe / Cruthaithe:	1972

Míreanna comhchosúla

Program Correctness Proofs
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

Proof of a Program: FIND
de réir: Hoare, C
Foilsithe / Cruthaithe: (1971)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
de réir: Hoare, C
Foilsithe / Cruthaithe: (1972)

Proof of a Recursive Program: Quicksort
de réir: Foley, M, et al.
Foilsithe / Cruthaithe: (1971)

Design and Proof of a Mail Service
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1987)

How Did Software Get So Reliable Without Proof?
de réir: Hoare, C
Foilsithe / Cruthaithe: (1996)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
de réir: Jifeng, H, et al.
Foilsithe / Cruthaithe: (1987)

Algebraic Specification and Proof of Properties of a Mail Service
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1986)

Proofs, what they prove and their representations: remarks in connection with identity of proofs and the normalisation thesis
de réir: Tiago de Castro Alves
Foilsithe / Cruthaithe: (2022-01-01)

Information as proof or monument: materiality, institutionality and representation
de réir: Rodrigo Rabello, et al.
Foilsithe / Cruthaithe: (2019-05-01)

A Formal Proof Of The Riesz Representation Theorem
de réir: Anthony Narkawicz
Foilsithe / Cruthaithe: (2011-01-01)

Colour proof correction symbols
de réir: 8096 British Standards Institution

Copy preparation and proof correction
de réir: 8096 British Standards Institution

A Probabilistic Proof for Representations of the Riemann Zeta Function
de réir: Jiamei Liu, et al.
Foilsithe / Cruthaithe: (2019-04-01)

Visual-geometric Representation of Theorem Proofs in Nomotex DLS
de réir: Dimitrienko Yury I., et al.
Foilsithe / Cruthaithe: (2020-01-01)

The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)
de réir: Hoare, C
Foilsithe / Cruthaithe: (1996)

Correctness Proof for a Network Synchronizer
de réir: Devarajan, Harish, et al.
Foilsithe / Cruthaithe: (2023)

Hierarchical Correctness Proofs for Distributed Algorithms
de réir: Lynch, Nancy A., et al.
Foilsithe / Cruthaithe: (2023)

HOW TO CHECK AND CORRECT COLOR PROOFS /
de réir: 331125 Bann, David
Foilsithe / Cruthaithe: (1990)

A first course in proof correcting/
de réir: 398980 Dellow, E. L.
Foilsithe / Cruthaithe: (1979)

The Proof of the Fermat’s Conjecture in the Correct Domain
de réir: Saimir A. Lolja
Foilsithe / Cruthaithe: (2018-12-01)

A representation-theoretic proof of the branching rule for Macdonald polynomials
de réir: Yi Sun
Foilsithe / Cruthaithe: (2015-01-01)

Correctness of Data Representations involving Heap Data Structures
de réir: Reddy, U, et al.
Foilsithe / Cruthaithe: (2015)

Correctness of Data Representations involving Heap Data Structures
de réir: Reddy, U, et al.
Foilsithe / Cruthaithe: (2004)

Proof-carrying data
de réir: Chiesa, Alessandro
Foilsithe / Cruthaithe: (2011)

A probablistic proof of the series representation of the MacDonald function with applications
de réir: M. Aslam Chaudhry, et al.
Foilsithe / Cruthaithe: (1998-01-01)

Teachers’ learning and assessing of mathematical processes with emphasis on representations, reasoning and proof
de réir: Satsope Maoto, et al.
Foilsithe / Cruthaithe: (2018-03-01)

Proof of correctness of proposed ATM retransmission scheme
Foilsithe / Cruthaithe: (2003)

Error-Correction Code Proof-of-Work on Ethereum
de réir: Hyoungsung Kim, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Data for Children Proof of Concept
de réir: Lynda Cooper, et al.
Foilsithe / Cruthaithe: (2020-12-01)

An average density of τ-adic Naf (τ-NAF) representation: an alternative proof
de réir: Yunos, Faridah, et al.
Foilsithe / Cruthaithe: (2013)

Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography
de réir: M. . Anikeev, et al.
Foilsithe / Cruthaithe: (2010-12-01)

A Formalization and Correctness Proof of the CGOL Language System
de réir: VanDeVanter, Michael Lee
Foilsithe / Cruthaithe: (2023)

Computationally efficient error-correcting codes and holographic proofs
de réir: Spielman, Daniel Alan
Foilsithe / Cruthaithe: (2007)

Computationally Efficient Error-Correcting Codes and Holographic Proofs
de réir: Spielman, Daniel Alan
Foilsithe / Cruthaithe: (2023)

A Modular Proof of Correctness for a Network Synchronizer
de réir: Fekete, A., et al.
Foilsithe / Cruthaithe: (2023)

Correctness proofs of the Peterson-Fischer mutual exclusion algorithms
de réir: Colby, Christopher P
Foilsithe / Cruthaithe: (2013)

Correction to: Climate-proofing a malaria eradication strategy
de réir: Hannah Nissan, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Test-data generation for control coverage by proof
de réir: Cavalcanti, A, et al.
Foilsithe / Cruthaithe: (2014)

Test−data Generation for Control Coverage by Proof
de réir: Cavalcanti, A, et al.
Foilsithe / Cruthaithe: (2013)