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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Mu, S, Ko, H, Jansson, P
Định dạng:	Journal article
Được phát hành:	2009

Những quyển sách tương tự

Algebra of Programming using Dependent Types
Bằng: Mu, S, et al.
Được phát hành: (2008)

MiniAgda: Integrating Sized and Dependent Types
Bằng: Andreas Abel
Được phát hành: (2010-12-01)

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Bằng: Jean-Philippe Bernardy, et al.
Được phát hành: (2016-06-01)

Proving Non-Deterministic Computations in Agda
Bằng: Sergio Antoy, et al.
Được phát hành: (2017-01-01)

Trace and Stable Failures Semantics for CSP-Agda
Bằng: Bashar Igried, et al.
Được phát hành: (2017-09-01)

Towards an Extrinsic Formalization of Featherweight Java in Agda
Bằng: Samuel Feitosa, et al.
Được phát hành: (2021-12-01)

Thingifying Neda: The Construction of Commemorative and Affective Thingifications of Neda Agda Soltan
Bằng: Carsten Stage
Được phát hành: (2011-10-01)

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
Bằng: Lilia Lomam
Được phát hành: (2024-05-01)

Entre o céu e as caldeiras: espectros desconstrutivos em “Agda”, de Hilda Hilst
Bằng: Lilia Loman
Được phát hành: (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
Bằng: Nuray Öktem
Được phát hành: (2018-04-01)

Algebra : programmed /
Bằng: 385109 Alwin, Robert H., et al.
Được phát hành: (1978)

”Året präglades av coronaviruspandemin” – Regeringar rapporterar om statligt ägda bolag i Finland och Sverig
Bằng: Merja Koskela, et al.
Được phát hành: (2022-12-01)

The Algebra of Programming
Bằng: Bird, R, et al.
Được phát hành: (1996)

Algebraic and logic programming /
Bằng: Grabowski, J., et al.
Được phát hành: (1988)

Program Algebra for Turing-Machine Programs
Bằng: Jan A. Bergstra, et al.
Được phát hành: (2019-12-01)

Algebra of Logic Programming
Bằng: Seres, S, et al.
Được phát hành: (1999)

Algebra of Logic Programming
Bằng: Seres, S, et al.
Được phát hành: (1999)

Program Algebra for Random Access Machine Programs
Bằng: Cornelis Middelburg
Được phát hành: (2022-12-01)

Type theory as a framework for modelling and programming
Bằng: Ionescu, C, et al.
Được phát hành: (2018)

Algebraic Identities for Program Calculation
Bằng: Bird, R
Được phát hành: (1989)

On strongest algebraic program invariants
Bằng: Hrushovski, E, et al.
Được phát hành: (2023)

A programmed vector algebra/
Bằng: 171030 Gardner, K. L.
Được phát hành: (1969)

Beginning algebra : an individualized program /
Bằng: 386042 Drooyan, Irving, et al.
Được phát hành: (1978)

Combining dependent annotations for relational algebra
Bằng: Kostylev, E, et al.
Được phát hành: (2012)

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages
Bằng: Y. P. Korablin
Được phát hành: (2022-03-01)

Relational algebraic ornaments
Bằng: Ko, H, et al.
Được phát hành: (2013)

Program synthesis with algebraic library specifications
Bằng: Mariano, Benjamin, et al.
Được phát hành: (2021)

An algebraic transformation system for occam programs
Bằng: Goldsmith, M, et al.
Được phát hành: (1987)

Applied mathematics for technical programs : algebra /
Bằng: 406122 Moon, Robert G.
Được phát hành: (1973)

Matrix algebra : a programmed introduction /
Bằng: Dorf, Richard C. 388440
Được phát hành: (1969)

A programmed course in basic algebra /
Bằng: 334633 Beck, William C., et al.
Được phát hành: (1971)

Ninth colloquium on trees in algebra and programming
Được phát hành: (1984)

The Essentials of Clifford Algebras with Maple Programming
Bằng: Mutlu Akar
Được phát hành: (2021-04-01)

About Algebraic Program Models with Procedures
Bằng: R. I. Podlovchenko, et al.
Được phát hành: (2015-03-01)

About Algebraic Program Models with Procedures
Bằng: R. I. Podlovchenko, et al.
Được phát hành: (2012-01-01)

Numerical algebraic geometry and semidefinite programming
Bằng: Jonathan D. Hauenstein, et al.
Được phát hành: (2021-08-01)

Type A Hecke algebras and related algebras
Bằng: Erdmann, K
Được phát hành: (2004)

Program Let’s Algebraize 1.0 bimbing pelajar minat Algebra
Bằng: Ibrahim, Siti Nur Iqmal
Được phát hành: (2022)

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
Bằng: Ong, C, et al.
Được phát hành: (2011)

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
Bằng: Ong, C, et al.
Được phát hành: (2011)