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

Полное описание

Библиографические подробности
Главные авторы:	Mu, S, Ko, H, Jansson, P
Формат:	Journal article
Опубликовано:	2009

Схожие документы

Algebra of Programming using Dependent Types
по: Mu, S, и др.
Опубликовано: (2008)

MiniAgda: Integrating Sized and Dependent Types
по: Andreas Abel
Опубликовано: (2010-12-01)

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
по: Jean-Philippe Bernardy, и др.
Опубликовано: (2016-06-01)

Proving Non-Deterministic Computations in Agda
по: Sergio Antoy, и др.
Опубликовано: (2017-01-01)

Trace and Stable Failures Semantics for CSP-Agda
по: Bashar Igried, и др.
Опубликовано: (2017-09-01)

Towards an Extrinsic Formalization of Featherweight Java in Agda
по: Samuel Feitosa, и др.
Опубликовано: (2021-12-01)

Thingifying Neda: The Construction of Commemorative and Affective Thingifications of Neda Agda Soltan
по: Carsten Stage
Опубликовано: (2011-10-01)

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
по: Lilia Lomam
Опубликовано: (2024-05-01)

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
по: Lilia Loman
Опубликовано: (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
по: Nuray Öktem
Опубликовано: (2018-04-01)

Algebra : programmed /
по: 385109 Alwin, Robert H., и др.
Опубликовано: (1978)

”Året präglades av coronaviruspandemin” – Regeringar rapporterar om statligt ägda bolag i Finland och Sverig
по: Merja Koskela, и др.
Опубликовано: (2022-12-01)

The Algebra of Programming
по: Bird, R, и др.
Опубликовано: (1996)

Algebraic and logic programming /
по: Grabowski, J., и др.
Опубликовано: (1988)

Program Algebra for Turing-Machine Programs
по: Jan A. Bergstra, и др.
Опубликовано: (2019-12-01)

Algebra of Logic Programming
по: Seres, S, и др.
Опубликовано: (1999)

Algebra of Logic Programming
по: Seres, S, и др.
Опубликовано: (1999)

Program Algebra for Random Access Machine Programs
по: Cornelis Middelburg
Опубликовано: (2022-12-01)

Type theory as a framework for modelling and programming
по: Ionescu, C, и др.
Опубликовано: (2018)

Algebraic Identities for Program Calculation
по: Bird, R
Опубликовано: (1989)

On strongest algebraic program invariants
по: Hrushovski, E, и др.
Опубликовано: (2023)

A programmed vector algebra/
по: 171030 Gardner, K. L.
Опубликовано: (1969)

Beginning algebra : an individualized program /
по: 386042 Drooyan, Irving, и др.
Опубликовано: (1978)

Combining dependent annotations for relational algebra
по: Kostylev, E, и др.
Опубликовано: (2012)

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages
по: Y. P. Korablin
Опубликовано: (2022-03-01)

Relational algebraic ornaments
по: Ko, H, и др.
Опубликовано: (2013)

Program synthesis with algebraic library specifications
по: Mariano, Benjamin, и др.
Опубликовано: (2021)

An algebraic transformation system for occam programs
по: Goldsmith, M, и др.
Опубликовано: (1987)

Applied mathematics for technical programs : algebra /
по: 406122 Moon, Robert G.
Опубликовано: (1973)

Matrix algebra : a programmed introduction /
по: Dorf, Richard C. 388440
Опубликовано: (1969)

A programmed course in basic algebra /
по: 334633 Beck, William C., и др.
Опубликовано: (1971)

Ninth colloquium on trees in algebra and programming
Опубликовано: (1984)

The Essentials of Clifford Algebras with Maple Programming
по: Mutlu Akar
Опубликовано: (2021-04-01)

About Algebraic Program Models with Procedures
по: R. I. Podlovchenko, и др.
Опубликовано: (2015-03-01)

About Algebraic Program Models with Procedures
по: R. I. Podlovchenko, и др.
Опубликовано: (2012-01-01)

Numerical algebraic geometry and semidefinite programming
по: Jonathan D. Hauenstein, и др.
Опубликовано: (2021-08-01)

Type A Hecke algebras and related algebras
по: Erdmann, K
Опубликовано: (2004)

Program Let’s Algebraize 1.0 bimbing pelajar minat Algebra
по: Ibrahim, Siti Nur Iqmal
Опубликовано: (2022)

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
по: Ong, C, и др.
Опубликовано: (2011)

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
по: Ong, C, и др.
Опубликовано: (2011)