Search results
Jump to navigation
Jump to search
Page title matches
- ===Equational reasoning=== ...ages often claimed for pure functional languages is the ease of equational reasoning, enabled by [[referential transparency]] and being able to replace equals b6 KB (833 words) - 00:02, 6 November 2021
- ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc4 KB (633 words) - 06:14, 8 June 2023
- 5 KB (795 words) - 12:24, 11 December 2010
Page text matches
- #redirect [[Haskell Equational Reasoning Assistant]]87 bytes (10 words) - 06:13, 8 June 2023
- #REDIRECT[[Haskell Equational Reasoning Assistant]]86 bytes (10 words) - 06:24, 8 June 2023
- ===Equational reasoning=== ...ages often claimed for pure functional languages is the ease of equational reasoning, enabled by [[referential transparency]] and being able to replace equals b6 KB (833 words) - 00:02, 6 November 2021
- * [https://okmij.org/ftp/Haskell/index.html#lazyIO-not-True equational reasoning] (<code>unsafeInterleaveIO</code>),1 KB (206 words) - 12:27, 8 June 2023
- ...chell.blogspot.com/2007/07/equational-reasoning-in-haskell.html Equational Reasoning in Haskell]3 KB (362 words) - 18:49, 20 May 2013
- ...on the specification, design and implementation of a prototype equational reasoning system for transforming expressions written in Orwell, with the goal of arr2 KB (355 words) - 17:50, 12 March 2007
- ...sites/default/files/HERMIT-Submitted.pdf Introducing the HERMIT Equational Reasoning Framework]<br>2 KB (349 words) - 13:42, 17 December 2012
- ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc4 KB (633 words) - 06:14, 8 June 2023
- Tools for formal reasoning, written in Haskell. ...matel is a prover based on many-sorted term rewriting (TRW) and equational reasoning6 KB (926 words) - 12:12, 16 January 2022
- ...ctures, we have sets equipped with operations that are expected to satisfy equational laws. ...old for the generated structure are those that are required to hold by the equational laws for structures of that type.13 KB (2,245 words) - 15:18, 6 February 2021
- ...alworld/era.html Equational Reasoning Assistant] (see [[Haskell Equational Reasoning Assistant]]), <dt>[http://www.haskell.org/dumatel Dumatel], a prover based on equational reasoning14 KB (2,263 words) - 06:31, 10 August 2022
- ...ncy, and both Haskell programmers and the GHC compiler exercise equational reasoning that requires replacing terms with equal terms, using a notion of equality5 KB (865 words) - 18:26, 21 November 2013
- ;[[Haskell Equational Reasoning Assistant]] ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc19 KB (2,935 words) - 13:50, 22 August 2022
- ...[referential transparency]]''' and makes possible to conduct '''equational reasoning''' on the code. For instance if <hask>y = f x</hask> and <hask>g = h y y</h7 KB (1,116 words) - 13:17, 1 October 2021
- ...ed [[referential transparency]] and makes possible to conduct ''equational reasoning'' on the code. For instance if <hask>y = f x</hask> and <hask>g = h y y</ha9 KB (1,323 words) - 22:19, 10 May 2024
- ;[[Haskell Equational Reasoning Assistant]] ...diseño como la implementación. Esta página introduce el Haskell Equational Reasoning Assistant (HERA), o Asistente de Razonamiento Ecuacional para Haskell, una23 KB (3,794 words) - 02:27, 26 March 2008
- ...Equational Reasoning Assistant]], as well as simplify the specification of equational relationships between pieces of code. There was a quicktime movie of the to30 KB (4,551 words) - 00:29, 15 June 2023
- equational reasoning.27 KB (3,675 words) - 12:12, 13 January 2007
- ...the basis of Haskell proof. It's a bit more complicated, since equational reasoning is limited to formalising the properties of equality as a congruence relati46 KB (6,895 words) - 11:08, 19 January 2009
- -- The definition used below can be obtained by equational reasoning from this -- The definition used below can be obtained by equational reasoning from this133 KB (20,540 words) - 08:31, 13 December 2009