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

Bibliografski detalji
Glavni autori:	Mu, S, Ko, H, Jansson, P
Format:	Journal article
Izdano:	2009

Slični predmeti

Algebra of Programming using Dependent Types
od: Mu, S, i dr.
Izdano: (2008)

MiniAgda: Integrating Sized and Dependent Types
od: Andreas Abel
Izdano: (2010-12-01)

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
od: Jean-Philippe Bernardy, i dr.
Izdano: (2016-06-01)

Proving Non-Deterministic Computations in Agda
od: Sergio Antoy, i dr.
Izdano: (2017-01-01)

Formalizing Constructive Quantifier Elimination in Agda
od: Jeremy Pope
Izdano: (2018-07-01)

Trace and Stable Failures Semantics for CSP-Agda
od: Bashar Igried, i dr.
Izdano: (2017-09-01)

Towards an Extrinsic Formalization of Featherweight Java in Agda
od: Samuel Feitosa, i dr.
Izdano: (2021-12-01)

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

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

Memórias dos corpos sem órgãos nas duas Agdas, de Hilda Hilst
od: Jorge Alves Santana
Izdano: (2018-08-01)

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

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

Algebra : programmed /
od: 385109 Alwin, Robert H., i dr.
Izdano: (1978)

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

The Algebra of Programming
od: Bird, R, i dr.
Izdano: (1996)

Algebraic and logic programming /
od: Grabowski, J., i dr.
Izdano: (1988)

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

Program Algebra for Turing-Machine Programs
od: Jan A. Bergstra, i dr.
Izdano: (2019-12-01)

Algebra of Logic Programming
od: Seres, S, i dr.
Izdano: (1999)

Algebra of Logic Programming
od: Seres, S, i dr.
Izdano: (1999)

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

Type theory as a framework for modelling and programming
od: Ionescu, C, i dr.
Izdano: (2018)

Algebraic Identities for Program Calculation
od: Bird, R
Izdano: (1989)

On strongest algebraic program invariants
od: Hrushovski, E, i dr.
Izdano: (2023)

A programmed vector algebra/
od: 171030 Gardner, K. L.
Izdano: (1969)

Beginning algebra : an individualized program /
od: 386042 Drooyan, Irving, i dr.
Izdano: (1978)

Algebraic Dynamic Programming on Trees
od: Sarah J. Berkemer, i dr.
Izdano: (2017-12-01)

Combining dependent annotations for relational algebra
od: Kostylev, E, i dr.
Izdano: (2012)

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

Relational algebraic ornaments
od: Ko, H, i dr.
Izdano: (2013)

Program synthesis with algebraic library specifications
od: Mariano, Benjamin, i dr.
Izdano: (2021)

An algebraic transformation system for occam programs
od: Goldsmith, M, i dr.
Izdano: (1987)

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

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

A programmed course in basic algebra /
od: 334633 Beck, William C., i dr.
Izdano: (1971)

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

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

About Algebraic Program Models with Procedures
od: R. I. Podlovchenko, i dr.
Izdano: (2015-03-01)

About Algebraic Program Models with Procedures
od: R. I. Podlovchenko, i dr.
Izdano: (2012-01-01)

Numerical algebraic geometry and semidefinite programming
od: Jonathan D. Hauenstein, i dr.
Izdano: (2021-08-01)