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

書誌詳細
主要な著者:	Mu, S, Ko, H, Jansson, P
フォーマット:	Journal article
出版事項:	2009

類似資料

Algebra of Programming using Dependent Types
著者:: Mu, S, 等
出版事項: (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, 等
出版事項: (2016-06-01)

Proving Non-Deterministic Computations in Agda
著者:: Sergio Antoy, 等
出版事項: (2017-01-01)

Trace and Stable Failures Semantics for CSP-Agda
著者:: Bashar Igried, 等
出版事項: (2017-09-01)

Towards an Extrinsic Formalization of Featherweight Java in Agda
著者:: Samuel Feitosa, 等
出版事項: (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., 等
出版事項: (1978)

”Året präglades av coronaviruspandemin” – Regeringar rapporterar om statligt ägda bolag i Finland och Sverig
著者:: Merja Koskela, 等
出版事項: (2022-12-01)

The Algebra of Programming
著者:: Bird, R, 等
出版事項: (1996)

Algebraic and logic programming /
著者:: Grabowski, J., 等
出版事項: (1988)

Program Algebra for Turing-Machine Programs
著者:: Jan A. Bergstra, 等
出版事項: (2019-12-01)

Algebra of Logic Programming
著者:: Seres, S, 等
出版事項: (1999)

Algebra of Logic Programming
著者:: Seres, S, 等
出版事項: (1999)

Program Algebra for Random Access Machine Programs
著者:: Cornelis Middelburg
出版事項: (2022-12-01)

Type theory as a framework for modelling and programming
著者:: Ionescu, C, 等
出版事項: (2018)

Algebraic Identities for Program Calculation
著者:: Bird, R
出版事項: (1989)

On strongest algebraic program invariants
著者:: Hrushovski, E, 等
出版事項: (2023)

A programmed vector algebra/
著者:: 171030 Gardner, K. L.
出版事項: (1969)

Beginning algebra : an individualized program /
著者:: 386042 Drooyan, Irving, 等
出版事項: (1978)

Combining dependent annotations for relational algebra
著者:: Kostylev, E, 等
出版事項: (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, 等
出版事項: (2013)

Program synthesis with algebraic library specifications
著者:: Mariano, Benjamin, 等
出版事項: (2021)

An algebraic transformation system for occam programs
著者:: Goldsmith, M, 等
出版事項: (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., 等
出版事項: (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, 等
出版事項: (2015-03-01)

About Algebraic Program Models with Procedures
著者:: R. I. Podlovchenko, 等
出版事項: (2012-01-01)

Numerical algebraic geometry and semidefinite programming
著者:: Jonathan D. Hauenstein, 等
出版事項: (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, 等
出版事項: (2011)

Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types
著者:: Ong, C, 等
出版事項: (2011)