Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

<p>Relational program derivation is the technique of stepwise refining a relational specification to a program by algebraic rules. The program thus obtained is correct by construction. Meanwhile, dependent type theory is rich enough to express various correctness properties to be verified by t...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Mu, S, Ko, H, Jansson, P
Fformat:	Journal article
Cyhoeddwyd:	2009

Eitemau Tebyg

Algebra of Programming using Dependent Types
gan: Mu, S, et al.
Cyhoeddwyd: (2008)

MiniAgda: Integrating Sized and Dependent Types
gan: Andreas Abel
Cyhoeddwyd: (2010-12-01)

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
gan: Jean-Philippe Bernardy, et al.
Cyhoeddwyd: (2016-06-01)

Proving Non-Deterministic Computations in Agda
gan: Sergio Antoy, et al.
Cyhoeddwyd: (2017-01-01)

Trace and Stable Failures Semantics for CSP-Agda
gan: Bashar Igried, et al.
Cyhoeddwyd: (2017-09-01)

Towards an Extrinsic Formalization of Featherweight Java in Agda
gan: Samuel Feitosa, et al.
Cyhoeddwyd: (2021-12-01)

Thingifying Neda: The Construction of Commemorative and Affective Thingifications of Neda Agda Soltan
gan: Carsten Stage
Cyhoeddwyd: (2011-10-01)

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
gan: Lilia Lomam
Cyhoeddwyd: (2024-05-01)

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
gan: Lilia Loman
Cyhoeddwyd: (2017-02-01)

İki Boyutlu Sığ Akım Denklemlerinin Sırasız Ağda Sayısal Çözümü için Bilgisayar Yazılımı Geliştirilmesi
gan: Nuray Öktem
Cyhoeddwyd: (2018-04-01)

Algebra : programmed /
gan: 385109 Alwin, Robert H., et al.
Cyhoeddwyd: (1978)

”Året präglades av coronaviruspandemin” – Regeringar rapporterar om statligt ägda bolag i Finland och Sverig
gan: Merja Koskela, et al.
Cyhoeddwyd: (2022-12-01)

The Algebra of Programming
gan: Bird, R, et al.
Cyhoeddwyd: (1996)

Algebraic and logic programming /
gan: Grabowski, J., et al.
Cyhoeddwyd: (1988)

Program Algebra for Turing-Machine Programs
gan: Jan A. Bergstra, et al.
Cyhoeddwyd: (2019-12-01)

Algebra of Logic Programming
gan: Seres, S, et al.
Cyhoeddwyd: (1999)

Algebra of Logic Programming
gan: Seres, S, et al.
Cyhoeddwyd: (1999)

Program Algebra for Random Access Machine Programs
gan: Cornelis Middelburg
Cyhoeddwyd: (2022-12-01)

Type theory as a framework for modelling and programming
gan: Ionescu, C, et al.
Cyhoeddwyd: (2018)

Algebraic Identities for Program Calculation
gan: Bird, R
Cyhoeddwyd: (1989)

On strongest algebraic program invariants
gan: Hrushovski, E, et al.
Cyhoeddwyd: (2023)

A programmed vector algebra/
gan: 171030 Gardner, K. L.
Cyhoeddwyd: (1969)

Beginning algebra : an individualized program /
gan: 386042 Drooyan, Irving, et al.
Cyhoeddwyd: (1978)

Combining dependent annotations for relational algebra
gan: Kostylev, E, et al.
Cyhoeddwyd: (2012)

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages
gan: Y. P. Korablin
Cyhoeddwyd: (2022-03-01)

Relational algebraic ornaments
gan: Ko, H, et al.
Cyhoeddwyd: (2013)

Program synthesis with algebraic library specifications
gan: Mariano, Benjamin, et al.
Cyhoeddwyd: (2021)

An algebraic transformation system for occam programs
gan: Goldsmith, M, et al.
Cyhoeddwyd: (1987)

Applied mathematics for technical programs : algebra /
gan: 406122 Moon, Robert G.
Cyhoeddwyd: (1973)

Matrix algebra : a programmed introduction /
gan: Dorf, Richard C. 388440
Cyhoeddwyd: (1969)

A programmed course in basic algebra /
gan: 334633 Beck, William C., et al.
Cyhoeddwyd: (1971)

Ninth colloquium on trees in algebra and programming
Cyhoeddwyd: (1984)

The Essentials of Clifford Algebras with Maple Programming
gan: Mutlu Akar
Cyhoeddwyd: (2021-04-01)

About Algebraic Program Models with Procedures
gan: R. I. Podlovchenko, et al.
Cyhoeddwyd: (2015-03-01)

About Algebraic Program Models with Procedures
gan: R. I. Podlovchenko, et al.
Cyhoeddwyd: (2012-01-01)

Numerical algebraic geometry and semidefinite programming
gan: Jonathan D. Hauenstein, et al.
Cyhoeddwyd: (2021-08-01)

Type A Hecke algebras and related algebras
gan: Erdmann, K
Cyhoeddwyd: (2004)

Program Let’s Algebraize 1.0 bimbing pelajar minat Algebra
gan: Ibrahim, Siti Nur Iqmal
Cyhoeddwyd: (2022)

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
gan: Ong, C, et al.
Cyhoeddwyd: (2011)

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
gan: Ong, C, et al.
Cyhoeddwyd: (2011)