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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Mu, S, Ko, H, Jansson, P
Format:	Journal article
Udgivet:	2009

Lignende værker

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

MiniAgda: Integrating Sized and Dependent Types
af: Andreas Abel
Udgivet: (2010-12-01)

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

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

Formalizing Constructive Quantifier Elimination in Agda
af: Jeremy Pope
Udgivet: (2018-07-01)

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

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

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

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

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

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

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

Algebra : programmed /
af: 385109 Alwin, Robert H., et al.
Udgivet: (1978)

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

The Algebra of Programming
af: Bird, R, et al.
Udgivet: (1996)

Algebraic and logic programming /
af: Grabowski, J., et al.
Udgivet: (1988)

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

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

Algebra of Logic Programming
af: Seres, S, et al.
Udgivet: (1999)

Algebra of Logic Programming
af: Seres, S, et al.
Udgivet: (1999)

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

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

Algebraic Identities for Program Calculation
af: Bird, R
Udgivet: (1989)

On strongest algebraic program invariants
af: Hrushovski, E, et al.
Udgivet: (2023)

A programmed vector algebra/
af: 171030 Gardner, K. L.
Udgivet: (1969)

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

Algebraic Dynamic Programming on Trees
af: Sarah J. Berkemer, et al.
Udgivet: (2017-12-01)

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

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

Relational algebraic ornaments
af: Ko, H, et al.
Udgivet: (2013)

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

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

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

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

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

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

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

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

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

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