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

書目詳細資料
Main Authors:	Mu, S, Ko, H, Jansson, P
格式:	Journal article
出版:	2009

相似書籍

Algebra of Programming using Dependent Types
由: Mu, S, et al.
出版: (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, et al.
出版: (2016-06-01)

Proving Non-Deterministic Computations in Agda
由: Sergio Antoy, et al.
出版: (2017-01-01)

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

Towards an Extrinsic Formalization of Featherweight Java in Agda
由: Samuel Feitosa, et al.
出版: (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., et al.
出版: (1978)

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

The Algebra of Programming
由: Bird, R, et al.
出版: (1996)

Algebraic and logic programming /
由: Grabowski, J., et al.
出版: (1988)

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

Algebra of Logic Programming
由: Seres, S, et al.
出版: (1999)

Algebra of Logic Programming
由: Seres, S, et al.
出版: (1999)

Program Algebra for Random Access Machine Programs
由: Cornelis Middelburg
出版: (2022-12-01)

Type theory as a framework for modelling and programming
由: Ionescu, C, et al.
出版: (2018)

Algebraic Identities for Program Calculation
由: Bird, R
出版: (1989)

On strongest algebraic program invariants
由: Hrushovski, E, et al.
出版: (2023)

A programmed vector algebra/
由: 171030 Gardner, K. L.
出版: (1969)

Beginning algebra : an individualized program /
由: 386042 Drooyan, Irving, et al.
出版: (1978)

Combining dependent annotations for relational algebra
由: Kostylev, E, et al.
出版: (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, et al.
出版: (2013)

Program synthesis with algebraic library specifications
由: Mariano, Benjamin, et al.
出版: (2021)

An algebraic transformation system for occam programs
由: Goldsmith, M, et al.
出版: (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., et al.
出版: (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, et al.
出版: (2015-03-01)

About Algebraic Program Models with Procedures
由: R. I. Podlovchenko, et al.
出版: (2012-01-01)

Numerical algebraic geometry and semidefinite programming
由: Jonathan D. Hauenstein, et al.
出版: (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, et al.
出版: (2011)

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