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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Mu, S, Ko, H, Jansson, P
Format:	Journal article
Wydane:	2009

Podobne zapisy

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

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

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

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

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

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

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

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

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

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

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

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

Algebra : programmed /
od: 385109 Alwin, Robert H., i wsp.
Wydane: (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
Wydane: (2018-04-01)

The Algebra of Programming
od: Bird, R, i wsp.
Wydane: (1996)

Algebraic and logic programming /
od: Grabowski, J., i wsp.
Wydane: (1988)

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

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

Algebra of Logic Programming
od: Seres, S, i wsp.
Wydane: (1999)

Algebra of Logic Programming
od: Seres, S, i wsp.
Wydane: (1999)

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

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

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

On strongest algebraic program invariants
od: Hrushovski, E, i wsp.
Wydane: (2023)

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

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

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

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

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

Relational algebraic ornaments
od: Ko, H, i wsp.
Wydane: (2013)

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

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

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

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

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

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

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

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

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

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