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...

Descripció completa

Dades bibliogràfiques
Autors principals:	Mu, S, Ko, H, Jansson, P
Format:	Journal article
Publicat:	2009

Ítems similars

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

MiniAgda: Integrating Sized and Dependent Types
per: Andreas Abel
Publicat: (2010-12-01)

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

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

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

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

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

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

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
per: Lilia Loman
Publicat: (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
per: Nuray Öktem
Publicat: (2018-04-01)

Algebra : programmed /
per: 385109 Alwin, Robert H., et al.
Publicat: (1978)

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

The Algebra of Programming
per: Bird, R, et al.
Publicat: (1996)

Algebraic and logic programming /
per: Grabowski, J., et al.
Publicat: (1988)

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

Algebra of Logic Programming
per: Seres, S, et al.
Publicat: (1999)

Algebra of Logic Programming
per: Seres, S, et al.
Publicat: (1999)

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

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

Algebraic Identities for Program Calculation
per: Bird, R
Publicat: (1989)

On strongest algebraic program invariants
per: Hrushovski, E, et al.
Publicat: (2023)

A programmed vector algebra/
per: 171030 Gardner, K. L.
Publicat: (1969)

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

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

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

Relational algebraic ornaments
per: Ko, H, et al.
Publicat: (2013)

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

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

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

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

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

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

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

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

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

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

Type A Hecke algebras and related algebras
per: Erdmann, K
Publicat: (2004)

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

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

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